Architecture Driven Modeling in Software Development Extended Abstract

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]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

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

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

[4]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

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

[6]  Itu-T.  Specification and Description Language (SDL) , 1999 .

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

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

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

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

[11]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

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

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

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

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