Tool supported development of service-based systems

Author

Deubler, Martin ; Grünbauer, Johannes ; Popp, Gerhard ; Wimmel, Houari ; Salzmann, Christian

Author_Institution

Inst. fur Inf., Technische Univ. Munchen, Garching, Germany

fYear

2004

fDate

30 Nov.-3 Dec. 2004

Firstpage

99

Lastpage

108

Abstract

Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and have strong interrelations and dependencies between each other. Integrated into a service-oriented development process, we present an approach for tool supported design of services and execution scenarios describing their interaction, using the tool AUTOFOCUS. It includes the application of simulation, verification of typical requirements for service-based systems using model checking, and code generation. We report on our experience with this approach by means of a case study from the automotive domain, a fairly new field of application for service-based systems engineering.

Keywords

formal specification; formal verification; software development management; software tools; systems analysis; AUTOFOCUS tool; code generation; model checking; multifunctional system; service-based systems engineering; service-oriented development process; Application software; Automotive engineering; Computer architecture; Context-aware services; Control systems; Embedded system; Encapsulation; Modeling; Navigation; Systems engineering and theory;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2004. 11th Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-2245-9

Type

conf

DOI

10.1109/APSEC.2004.101

Filename

1371910