2篇
您的检索式：作者名="Volker STOLZ"
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | rCOS: a formal model-driven engineering method for component-based software显示文摘模型驱动的建筑学(MDA ) 为软件集中的系统设计成为了一种主要的流技术。在它后面的主要工程原则是软件开发的固有的复杂性能仅仅由造被掌握,分析并且操作系统模型。MDA 也由提供基于部件的设计技术处理系统复杂性,允许基于部件的部件设计,实现和推广,然后系统集成和重构连接的独立人士。在任何阶段的一个系统的模型是不同观点的模型的集成。因此,一个模型驱动的方法有效地被使用,它必须为模型建设,确认,和转变提供技术和工具的一间综合套房的身体。这为不同担心的说明和系统的观点要求很多个当模特儿的符号。这些符号应该正式定义句法和语义的一个统一理论。方法的内在的理论被需要支撑,以及正式在关键应用程序关于系统的性质验证并且推理工具的开发和在软件开发的工具的正确使用。当模特儿的符号,技术,和工具必须被设计以便他们能在在软件设计过程支持发展活动和人工制品的文档无缝地被使用。这篇文章介绍如此的一个方法,叫了 rCOS,在软件开发进程在不同阶段集中于一个系统的模型,他们的语义集成,并且他们怎么被构造,分析,转变,验证,并且验证。 | Wei KE Xiaoshan LI Zhiming LIU Volker STOLZ | 2012 | Frontiers of Computer Science2012，6，1： | 4 |
| 2 | Automated transformations from UML behavior models to contracts显示文摘In model driven architecture(MDA),system requirements are first captured by UML(unified modeling language)use cases with sequence diagrams to describe their intended use and implemented by classes of objected-oriented languages in the subsequent design stages.It is important that the dynamic behavior specified by the sequence diagrams is in full compliance with the implementation classes.This paper proposes an automatic approach and tool support for generating class contracts,which define a precondition and a postcondition for each operation of the class.The former serves as a guard to ensure invocations of the operations respect the semantics introduced by the sequence diagrams,and the latter places the system in a legal state to facilitate the succeeding operation calls.The contracts can be easily mapped to code of an object-oriented language such as Java.Thus,the approach helps to bridge the gap between the requirements and design stages of system development process.We use our model transformation tool to first generate a UML protocol state machine from the sequence diagrams,and then derive the contracts for a controller class.The transformations take into account the concurrency and critical constructs of the respective UML diagrams. | LI Dan LI XiaoShan LIU ZhiMing Volker STOLZ | 2014 | Science China(Information Sciences)2014，57，12： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员