Details

Autor(en) / Beteiligte

• Deubler, M.
• Grunbauer, J.
• Popp, G.
• Wimmel, G.
• Salzmann, C.

Titel

Tool supported development of service-based systems

Ist Teil von

• 11th Asia-Pacific Software Engineering Conference, 2004, p.99-108

Ort / Verlag

Los Alamitos CA: IEEE

Erscheinungsjahr

2004

Quelle

IEEE Xplore

Beschreibungen/Notizen

• 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.