Architecture driven modelling in software development

Technical systems of today often include large amounts of embedded software. Today, in general, embedded software offers various functionalities, is distributed over networks and structured into logical components that interact. To understand and develop software-intensive systems we need fundamental models of multi-functional software system combining services and composed of concurrently interacting components forming architectures. We need methods to specify system properties, identify and describe various basic views onto systems, and show how they are related. We consider, in particular, models of data, functionality, states, interfaces, interaction, hierarchical composed systems, and processes. We study relationships by abstraction and refinement as well as forms of composition and modularity. In particular, we introduce a comprehensive mathematical model for composed systems, their views and their relationships as needed in a comprehensive development process. Finally we outline a consequent architecture-centered model driven development process.

[1]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[2]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[3]  Manfred Broy,et al.  A Graphical Description Technique for Communication in Software Architectures , 1997 .

[4]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[5]  Bernhard Schätz,et al.  Consistent Graphical Specification of Distributed Systems , 1997, FME.

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[7]  Manfred Broy.  Refinement of time , 2001, Theor. Comput. Sci..

[8]  Jos C. M. Baeten,et al.  Process algebra with siugnals and conditions , 1992 .

[9]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[10]  Bran Selic,et al.  Ward real-time object-oriented modeling , 1994 .

[11]  Cliff B. Jones,et al.  Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods , 1997 .

[12]  Rudolf Hettler.  Zur ?bersetzung von E/R-Schemata nach SPECTRUM , 1994 .

[13]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[14]  Manfred Broy,et al.  Towards a formal foundation of the specification and description language SDL , 2005, Formal Aspects of Computing.

[15]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[16]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[17]  Darrel C. Ince.  Object-oriented software engineering with C++ , 1991 .

[18]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.