摘要：网构软件代表了Internet环境下的一种新型的软件形态,但仍然面临着外部环境显式化、软件实体主体化、运行机制自适应等问题.从构件的角度出发,提出了EBDI(electronic business document exchange)结构以表示能够根据环境变化实施自主行为的构件,利用动态绑定关系解释了构件的自适应演化特征.根据形式化的Role模型,描述了构件的运行状态、自主运行及自适应演化运行机制开发了DAgent-Internetware原型作为网构软件的支撑平台,支持以DAgent为构件的网构软件从设计到实现、部署、运行、演化等一系列流程.

摘要：近年来,越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点,这使得软件开发理论和技术需要从软件体系结构的角度对这类系统的开发提供支持.面向Agent的软件开发技术提供了高层和自然的抽象方式对软件系统进行分析和设计,但现有面向Agent的方法学将Agent Class或者Agent Type视为多Agent系统软件体系结构的软构件,与Agent之间的关系仅仅是实例化的关系,这难以满足复杂系统对动态性的需求.从软件体系结构的角度上分析了多Agent系统中软构件的形式和机制,将Caste作为软构件,并以此为基础提出了Caste与Agent之间的动态绑定关系,定义了支持该机制的4个基本操作join,quit,activate和inactivate及其操作语义,用以来指导多Agent系统软件体系结构的设计和实现.

摘要：1引言程序设计风格是程序员在遵循程序设计语言语法规则的前提下编码的喜好和习惯.高级程序设计语言为程序员提供了越来越多的自由,使他们可以不拘泥于固定的格式来书写程序,并且允许他们以尽量简洁的方式书写.例如,有些编译器会自动给未初始化的变量赋缺省值.

摘要：事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。

摘要：当前自适应系统的开发存在自适应逻辑和业务逻辑相互缠绕的问题,使得自适应系统的开发和维护变得极为复杂和困难.论文认为自主性是实现自适应性的基础和前提,提出将自适应逻辑和业务逻辑相分离的思想,设计了一个自适应Agent策略描述语言SADL,用于对系统自适应特征进行描述.自适应Agent基于预定义策略,在运行时根据外部环境和内部状态的变化,通过动态绑定、释放、激活或钝化行为规约展示自适应行为.论文介绍了SADL语言的语法和语义及其编译器的设计和实现.

摘要：本文分析了Ada程序设计支持环境APSE在大型嵌入式软件开发过程中的成就与不足;论述了基于Ada的自动化软件开发新模式;讨论了实现这一模式的途径和面临的困难。

摘要：统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题.

摘要：软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划，据此自动产生定做的软件信息库，从而真正反映和支持该软件工程项目的开发。

摘要：自适应系统具有环境开放性、变化敏感性、系统动态性等复杂性特点,如何支持这类复杂系统的开发和维护是目前软件工程关注的焦点.将自适应系统中的自主运行单元抽象为软件Agent,借助组织学思想提出了支持自适应系统运行的动态绑定机制,设计了表述Agent如何适应环境变化的自适应策略描述语言SADL(self-adaptive strategy description language),开发了SADL的编译器和运行支撑环境.该方法将复杂自适应系统的自适应逻辑和业务逻辑相分离,通过SADL语言显式地描述系统的自适应特征,从而简化了复杂自适应系统的开发和维护.通过案例分析,阐述了如何基于上述方法来进行复杂自适应系统的开发,验证了方法的有效性.

摘要：用面向对象建模语言(如统一建模语言UML)设计并用面向对象程序设计语言(如C++)实现实时系统是实时系统开发领域的一个趋势,但面向对象的主要特征(如多态性)却使程序最差情况执行时间(Worst-Case ExecutionTi me,WCET)更加难以分析。本文通过把UML设计信息引入WCET分析来解决此问题。考虑到UML关联关系描述了两个或多个具体类之间的对应关系,因此本文要求指定关联角色的多重性,并假定能够建立关联关系与其在程序中表示的对应关系。在已知关联角色多重性的基础上,本文计算特定循环的执行计数并确定在超(虚)类调用位置上每个具体类的对象个数,该循环使用超类变量遍历统一表示的关联角色对象。通过和Corti等人方法的结合,本文方法能够自动计算具有多态性特征的面向对象程序的WCET。实验结果表明,本文研究的情形在面向对象程序中普遍存在。