2007年第31届COMPSAC：中国北京-第2卷
第31届国际计算机软件与应用年会，2007年7月24日至27日，中国北京。 第2卷。 IEEE计算机学会 2007
AOAsia 2007年研讨会： 第三届IEEE面向方面软件开发亚洲研讨会
王毅（Yi Wang） , 赵建军 :
在AspectJ中指定切入点。 5-10 达米扬·雷伯纳克 , 马尔扬·默尼克 :
基于面向方面规范的编译器构造工具。 11-16 西里尔·阿瑟 , 陈忠伟 , Shinichi Honiden公司 :
基于AOP的大型基准测试的自动化单元测试分类。 17-22 陈恭 
, 陈居兵 :
用于查找Java程序中内存泄漏的基于方面的检测。 23-28 刘大鹏 , 徐少春 :
一种用于Java程序的组合概念定位方法。 29-42
EMOBS 2007年研讨会： 第一届IEEE工程手机软件和应用国际研讨会
应用程序和服务
马提亚斯图书 , 沃尔克·格鲁恩 :
用于与富客户端进行灵活交互的即时消息框架。 43-48 杰里·泽瑜（Jerry Zeyu Gao） , 勒克什米·普拉卡什 , 拉吉尼·贾加特桑 :
了解二维条码技术及其在移动商务中的应用-二维条码处理解决方案的设计与实现。 49-56 刘宁（Ning Liu） , 李荣 , 杨振宇 , 赵洪阳 :
WinCE平台上实时自然现象仿真的优化方法。 57-62
移动商务关键技术
Vu Hong Khiem先生 , Kibong Kang公司 , Keung Hae Lee（李坚海） :
MiniWap：使用Minimo导航WAP。 63-68 徐春燕 , Jean-Lien C.Wu先生 , 王顺德 :
无线多跳互联网接入的一维概率模型。 69-74 傅颖芳 , Jingsha He公司 , 李国瑞 :
一种适用于移动自组网的分布式入侵检测方案。 75-80
中间件和服务平台
塞尔索·马西尔·达·科斯塔 , 马塞洛·达席尔瓦·斯特泽卡尔斯基 , 盖·伯纳德 :
适用于自适应移动计算应用程序的面向方面中间件体系结构。 81-86 朱楠林 , 黄九龙 :
用于快速传感器应用程序开发的基于虚拟机的编程环境。 87-95
环境智能和普适计算
陈锐（Rui Chen） , 侯宜宾 , 黄章琴 , 张勇（音） , 李慧（音） :
本地环境情报空间框架：AmI-Space项目。 95-100 李章 , 真连石 , 戚慎 :
普适计算环境中基于Anycast的服务发现体系结构。 101-108
移动性支持
乔治·特鲁 , 约翰内斯·马滕斯 , 马蒂亚斯·希克 , 马克·布雷辛格 , 阿克塞尔·库珀 :
Vs高尔夫-开发基于位置的多人游戏。 109-114 于明贤 , 兴美 :
异构无线网络互连的基于速度的移动性管理。 115-120 魏德·D·余 , 苏尼塔·夏尔马 :
移动软件解决方案的移动数据库设计方法。 121-130
ESAS 2007研讨会： 第二届IEEE工程语义代理系统国际研讨会
应用
Sang-Kyun Kim先生 , Kyu-Chul Lee先生 :
在新闻领域中使用时态Web本体语言进行趋势分析。 131-136 向中峰 :
基于多Agent的协同设计环境的构建。 137-140 贾晨 , 岳武 , 李明（音） , 贝慧（Bei Hui） :
基于多代理系统的层次结构网格中间件。 141-146
平台
林永丰 , 詹森·延·陈 :
基于OWL的Agent交互描述。 147-152 梁晓 , 大卫·罗伯森 , 马达琳娜·克罗伊图鲁 , 保罗·刘易斯 , 斯琳丹·达什马帕特拉 , 大卫·达普劳 , 薄虎 :
自适应Agent模型：Agent交互和计算模型。 153-158 魏黄 , 埃利亚·埃尔·达尔齐 , 李进 :
扩展Gaia方法论以设计和开发基于代理的软件系统。 159-168
模型
王丹（Dan Wang） , 赵荣娟 :
P2P系统中基于本体的语义资源共享模型。 169-176
主题演讲
Aditya Ghose公司 , 乔治·科利亚迪斯 :
行动者生态系统：从高级代理模型到通过语义注释的可执行过程。 177-184
立场文件
梅赫迈特·奥尔根（Mehmet A.Orgun） :
智能代理和P2P语义Web。 185 阿提拉Elçi :
紧急呼叫：大型语义软件代理系统需要工具。 186 马苏德·穆罕默德（Masoud Mohammadian） :
语义Web和智能代理研究与实践Masoud Mohammadian。 187-196
IWSC 2007年研讨会： 第四届IEEE软件控制论国际研讨会
论文I
受邀会谈
斯蒂芬·S·尤 , 黄大智 , 朱路平（Luping Zhu） :
基于服务的系统中工作流的自适应分布式执行监控方法。 211-216 哈拉尔德·施泰伯 :
一系列软件可靠性增长模型。 217-224
小组讨论
埃里克·S·K·余 :
系统安全的社会建模。 225
论文II
林刘（Lin Liu） , 织金 , 如前路 :
基于控制论的可控需求工程过程。 229-232 白晓英 , 陈一农 , 钟奎绍 :
自适应Web服务测试。 233-236 海虎 , 长海江 , 蔡开元 , W.Eric Wong :
数据流管理系统设计中QoS自适应的控制理论方法。 237-248
IWSSE 2007年研讨会： 第一届IEEE软件工程安全国际研讨会
穆罕默德·贾斯·乌丁 , 侯赛因·沙利亚尔 , 穆罕默德·祖尔克宁 :
ACIR：入侵响应的方面连接器。 249-254 李克勤 , 劳伦特·穆尼尔 , 罗兰·格罗兹 :
根据Or-BAC中指定的安全策略生成测试。 255-260 梁晓 , 安德鲁·皮特 , 保罗·刘易斯 , 斯琳丹·达什马帕特拉 , 卡洛斯·塞兹 , 马达琳娜·克罗伊图鲁 , 哈维尔·文森特 , 霍拉西奥·冈萨雷斯-维雷斯 , 马吉·卢希·阿列特 :
多代理系统的自适应安全模型及其在临床试验环境中的应用。 261-268 K.M.易卜拉欣·阿西夫 , 谢赫·伊克巴尔·阿哈默德 , Nilothpal Talukder公司 :
在普适计算环境下避免Ad hoc网络中资源共享的隐私侵犯。 269-274 文森特·胡锦涛 , 埃文·马丁 , 黄哲贤 , 陶雪 :
XACML中指定的访问控制策略的一致性检查。 275-280 Koen买家 , 里卡多·斯坎达里亚托 , 沃特·乔森 :
支持安全原则的过程活动。 281-292
KASET 2007研讨会： 首届IEEE基于知识的软件工程工具开发与应用国际研讨会
通用软件工程和工具
沈利民 , 姜文文 , 高春燕 :
软件用户界面上灵活点的设置和评估。 293-298 鲁道夫·拉姆勒 , 克劳斯·沃尔夫迈尔 , 托马斯·纳施勒 :
观察规模度量中的分布：分析大型软件系统的经验。 299-304 阎罗 , 托尔斯滕·伯甘德 , A.本·哈姆扎 :
使用加权拉普拉斯测试统计量的软件可靠性增长建模。 305-312
基于知识的软件工程工具
Hong Zhang（张红） , 苏红军 :
软件工程教育协作系统。 313-318 李江 , 阿明·埃伯莱因 :
需求工程过程开发工具。 319-325 埃琳娜·卡德纳斯·巴尔加斯 , 汉娜·奥克塔巴 , 西尔维娅·瓜尔达蒂 , 安娜·莉莉亚·劳雷亚诺 :
代理、基于案例的推理及其与墨西哥软件过程模型（MoProSoft）的关系。 326-334
编程工具和技术
Shi Zhang先生 , 黄林鹏 :
键入安全动态更新事务。 335-340 Ioannis N.Athanasiadis公司 , 费迪南多别墅 , 安德烈亚·埃米利奥·里佐利 :
支持语义编程的本体论、JavaBean和关系数据库。 341-346 J.加西亚 , 安东尼奥·加维兰斯 , 安娜·吉尔·卢扎斯（Ana Gil Luezas） , 佩德罗·马汀 :
CGR：使用方案编程的工具。 347-354
系统建模、风险和政策管理
玉林顶 , 张燕（音译） :
系统改造案例研究。 355-360 新疆 , 卡尔·K·张 , 夏进春 , 舒兴成（Shuxing Cheng） :
基于历史的人员风险管理自动调度模型。 361-366 穆罕默德·沙哈塔 , 阿明·埃伯莱因 , 亚伯拉罕·法波朱沃 :
管理基于KNX的智能家居中的政策互动。 367-378
QUORS 2007研讨会： 第一届IEEE面向质量的软件重用国际研讨会
方面和SE
郭艳红 , 桂发藤 , 李月丽 , 王芳（Fang Wang） , 杨钊 , 马建斌 :
用方面改进面向对象的系统分析和设计。 379-384 蒲建军 , 张卓鹏 , 健康 , 杨旭 , 杨洪记 :
在理解旧COBOL代码中使用面向方面。 385-390 刘一鸣 , 赵文云 , 辛鹏 , 山塘 :
以连接者为中心的面向方面软件演化方法。 391-398
组件和QoS
李靖岳 , 安妮塔·古普塔 , 乔恩·阿维德·伯雷岑 , 雷达尔·康拉迪 :
重用软件组件的质量效益实证研究。 399-402 阎奎峰 , 刘晓东 , 乔恩·克里奇 :
一种基于产品线的面向方面的生成单元测试方法，用于构建质量组件。 403-408 杨一鸣 , 辛鹏 , 赵文云 :
一种动态体系结构的连接器自动生成方法。 409-414 马塞尔·范阿姆斯特尔 , 克里斯蒂安·兰格 , 米歇尔·乔德伦 :
分析UML序列图质量的四种自动化方法。 415-424
互联网应用程序
张文涛 , 燕阳 , 圣群堂 , 方丽娜 :
QoS驱动的复合Web服务服务选择优化模型与算法。 425-431 顾志峰 , 李娟梓 , 杰唐 , 徐斌（Bin Xu） , 黄若波 :
验证WSCL中指定的Web服务对话。 432-437 周世坤 , 刘晓东 :
互联网应用的质量指标：从“旧”发展“新”。 438-450
REFS 2007研讨会： 第一届IEEE服务需求工程国际研讨会
研讨会主题演讲
艾尔·戴维斯 :
REFS主旨：“服务需求：有意义吗？”。 451-454
RE服务
科莱特·罗兰 , 里姆·萨米娅·卡比 :
服务建模和发现的意向性观点。 455-460 长艾孙 , 马可·艾略 :
服务中心系统中事务管理协议和工具的要求和评估。 461-466 基里亚科斯·克里提科斯 , 普列克索萨基斯Dimitris Plexousakis :
基于QoS的Web服务描述和发现的要求。 467-472 桑迪·刘 , 布鲁斯·斯宾塞 , 梁勇 , 徐波 , 张立波 , 马丁·布鲁克斯 :
面向敏捷基础设施以提供设备、应用程序和网络：面向服务的方法。 473-478 王清浩（音译） , 王凤健 :
面向对象的模块化Petri网，用于建模面向服务的应用程序。 479-486
RE和服务
艾伦·M·戴维斯 , 凯萨夫·诺里 :
需求，柏拉图的洞穴，以及对现实的感知。 487-492 蔡开元 :
非功能计算：对非功能需求进行更科学的处理。 493-494 宋西平 :
为面向服务的软件平台开发非功能需求。 495-496 周林戴 , 顾毅 , 刘军 , 徐一杰 :
使用螺旋估算流程准确估算电子表格转换服务的经验。 497-500 Bo Cheng（程波） , 《祥物梦》 , 陈俊良 :
自适应用户需求启发框架。 501-502 高春明（Chunming Gao） , 黄檀 , 火王陈 :
具有反馈控制的复合服务执行引擎的框架。 503-508 Moshiur Bhuiyan公司 , M.M.Zahidul伊斯兰 , 乔治·科利亚迪斯 , 阿内什·克里希纳 , Aditya Ghose公司 :
使用丰富的组织模型管理业务流程风险。 509-520
SACT 2007研讨会： 第二届IEEE亚太软件架构和组件技术研讨会
软件模式、框架和体系结构
D.Thu Tran公司 , T.B.Tran Huynh先生 :
一种用于对象框架的复合设计模式。 521-526 阿尔文德·基韦利卡 , Rushikesh K.Joshi :
从详细的UML模型中提取高级组件连接视图：案例研究。 527-534
组件软件和技术
赵志坤 , 魏丽 :
分布式数据流系统的动态重构。 535-540 西里尔·阿瑟 , 克劳斯·哈弗伦德 , Shinichi Honiden公司 :
并发程序执行的可视化。 541-546 毛成英 :
基于AOP的组件软件可测试性改进。 547-552 安德烈·里贝斯 , 克里斯蒂安·卡雷莫利 :
Salome平台组件模型进行数值模拟。 553-564
SEASS 2007研讨会： 第一届IEEE自适应软件系统软件工程国际研讨会
邀请的谈话
软件体系结构
王卓浩 , 赵卓峰 , Jun Fang先生 :
面向服务的灵活信息资源集成方法。 573-578 彭蒂·塔瓦宁 :
软件体系结构的适应性评估； 案例研究。 579-586
需求工程和决策
沈利伟（Liwei Shen） , 辛鹏 , 赵文云 :
基于特征绑定分析的业务系统动态适应性决策支持。 587-592 瓦修·司徒 , 伯恩德·斯潘费尔纳 :
面向上下文自适应系统的需求工程。 593-600
特定领域适应
王华（Hua Wang） , 景莹 :
基于隐马尔可夫模型的软件集成系统运行时自适应方法。 601-606 冯文英（Wenying Feng） , 卡兰·维吉 :
机器学习预测和Web访问建模。 607-612 铁正聂 , 王广琪（Guangqi Wang） , 德隆沈 , 李梅芳 , 葛瑜 :
基于SLA的数据库网格数据集成。 613-618 拉斐尔·拉米雷斯 , 安德鲁·桑托萨 :
并发编程中关注点分离的框架。 619-628
SECAD 2007研讨会： 第一届IEEE汽车领域软件工程挑战国际研讨会
穆春阳 , 衬里太阳 , 杜志江 :
方法基于OSEK/VDX平台，采用基于模型和自动编码技术进行柴油机ECU软件开发。 629-634 迪特马尔·施莱纳 , 卡尔·M·Göschka :
AUTOSAR虚拟功能总线的组件模型。 635-641 奥拉夫·凯思 , 马克·波恩 , 迈克尔·索登 :
用于有效创建汽车软件的基于存储库的基础设施-经验报告。 642-650
SPAC 2007研讨会： 第一届IEEE软件模式国际研讨会： 应对挑战
陈京英 :
面向组件的设计风格。 651-657 阿列克谢·伊利亚索夫 , 亚历山大·罗曼诺夫斯基 , 布迪·阿里夫 :
开放分布式系统设计框架。 658-674
STPSA 2007研讨会： 第二届IEEE软件应用安全、信任和隐私国际研讨会
陈伟峰 , 甄柳 , 安东·里亚博夫 :
基于可识别性的软约束隐私模型。 675-980 Chiung-Chou Tsai先生 , 关节寮 , 陈宗哲（Tzungher Chen） , 李伟斌 :
一种新型代理密钥生成协议的安全增强。 681-688 阿卜杜勒·萨米亚 , 阿尔沙德·阿齐兹 , 纳赛尔·伊克拉姆 :
一种适用于IEEE 802.11i无线标准的高效AES-CCM软件实现。 689-694 瑞恩·巴比特 , 约翰尼·王 , 卡尔·K·张 :
面向普适计算环境中的个人隐私建模。 695-699 曾育民 , 吴祖扬 , 朱棣武 :
一种基于双线性对的低功耗计算设备的双向认证和密钥交换方案。 700-710
TEST 2007研讨会： 第一届IEEE新兴软件技术测试国际研讨会
新技术的测试模型、方法和工具
郑华洛 :
故障修复延迟时间对软件错误模型的影响。 711-716 梁刚（Liang Kong） , 洪朱 , 滨州 :
基于代数规范的EJB组件自动测试。 717-722 毛成英 :
基于组件的软件系统的内置回归测试。 723-728 迈克尔·鲁思 , Sehun噢 , 亚当·劳普 , 布莱恩·霍顿 , 奥林·加莱 , 马塞尔·马塔 , 生如图 :
面向Web服务的自动回归测试选择。 729-736
传统技术的测试模型、方法和工具
卡尔·R·P·H·梁 , 永乐杨 :
从测试用例生成用户验收测试计划。 737-742 萨米·梅克尔 , 勒佩宁镇 :
基于客户端的面向对象的内聚度量。 743-748 大湾町 , Seunguk哦 , Hyeon Soo Kim先生 :
MemScroll:C程序中的动态内存错误检测器。 749-754 穆扎米尔·沙巴兹 , 李克勤 , 罗兰·格罗兹 :
学习用于集成测试的参数化状态机模型。 755-760
