Academy of Mathematics and Systems Science, CAS
Colloquia & Seminars

Speaker:	Prof. Manfred Broy，Institut für Informatik,Technische Universit?t München
Inviter:
Title:	Interface Assertions for Architecture Design Specification
Time & Venue:	2019.4.28 8:30-10:00 N205
Abstract:	The specification, design, verification, and correct implementation of software and system architecture are after the task of requirements specification the perhaps most important steps, when building large software systems or software intensive cyber-physical systems. Architectures are decisive for software quality, for a number of quality attributes such as maintainability, portability, changeability, reusability, deployability but also reliability, security, and safety. In fact, the design of architectures is a key issue in system and software development. This requires an appropriate concept of component and of interface. For highly distributed, networked systems as well as for cyber-physical systems we need a design and specification concept which supports composition, parallelism, and concurrency and finally real time but keeps all of the general advantages of modularity, compositionality, and information hiding as in object-oriented programming. If the concept of component and of interface is extended to probabilistic properties, it covers also functional quality aspects. We describe an approach to the specification and implementation of parallel interactive real time systems and components and extend it along the lines of established concepts of object-orientation – such as dynamics of architectures, inheritance, and class instantiation – an approach that nevertheless provides an execution model which is parallel and concurrent in nature and supports real time and modular composition and therefore lays the foundation of a software and systems engineering style where classical object-orientation in programming can be extended to the development of cyber physical systems, distributed in a network, in a straightforward way.