In this report we investigate the suitability of algebraic specication techniques for the modular speci cation of complex object oriented systems As an example part of the event handling mechanism of the application framework ET is speci ed using a variant of the algebraic specication language Spectrum.
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
Cyber-Physical Production Systems (CPPS) are long-living and mechatronic systems, which include mechanics, electrics/electronics and software. The interdisciplinary nature combined with challenges and trends in the context of Industry 4.0 such as a high degree of customization, small lot sizes and evolution cause a high amount of variability. Mastering the variability of functional control software, e.g., different control variants of an actuator type, is itself a challenge in developing and reusing CPPS software. This task becomes even more complex when considering extra-functional software s…
An Empirical Study on the Impact of Normalized Use-Case Specifications on Traceability
College of Computer Science and Technology, National University of Defense Technology（国防科技大学计算机学院）；State Key Laboratory of Complex & Critical Software Environment（复杂与关键软件环境国家重点实验室）
Product Lines for Service Oriented Applications - PL for SOA
PL for SOA正式提出了一种软件工程方法、开发技术和支持工具，用于提供服务产品线。我们提出了严格的建模技术的规范和验证的正式符号和语言的服务计算与倾向的变化。通过这些尖端技术，可以实现更高水平的灵活性和适应性。这将涉及开发服务行为模型的可变性语义。这些工具将有助于各组织在设计和运行时间规划、优化和控制软件服务提供的质量，使其能够开发灵活和成本效益高的软件系统，支持高水平的再利用。我们从两个层面应对这一挑战。我们使用产品线工程中的特征建模，从服务的角度来看，使用编排语言Orc。我们介绍了智能电网作为服务产品线应用的技术。
A database driven web application is a very common software solution to rising business problems. Modeling the database and the software architecture can be challenging, hence there not being one combined modeling language for database and software architecture, specifically suited for web application development. In this paper we present Database object-oriented Modeling Language (DooML) and its primary Archetype Diagram: a notation for specifying the design of a database schema and corresponding object-oriented software architecture. It combines the syntax for drawing Entity Relationship Dia…
Design patterns are well practices to share software development experiences. These patterns allow enhancing reusability, readability and maintainability of architecture and code of software applications. As simulation applies computerized models to produce traces in order to obtain results and conclusions, designers of simulation explored design patterns to make the simulation code more reusable, more readable and easy to maintain, in addition to design complex software oriented simulation modeling. In DEVS (Discrete Event System specification), the designers have successfully designed simula…
