loading...
Tool Supported Development of Service-Based Systems
Busan, Korea November 30-December 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.10111th Asia-Pacific Software Engineerin ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Martin Deubler, Johannes Gr?nbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann, "Tool Supported Development of Service-Based Systems," Asia-Pacific Software Engineering Conference, pp. 99-108, 11th Asia-Pacific Software Engineering Conference (APSEC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2004.101,
author = {Martin Deubler and Johannes Gr?nbauer and Gerhard Popp and Guido Wimmel and Christian Salzmann},
title = {Tool Supported Development of Service-Based Systems},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2004},
issn = {1530-1362},
pages = {99-108},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.101},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Tool Supported Development of Service-Based Systems
SN - 1530-1362
SP99
EP108
A1 - Martin Deubler,
A1 - Johannes Gr?nbauer,
A1 - Gerhard Popp,
A1 - Guido Wimmel,
A1 - Christian Salzmann,
PY - 2004
KW - null
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
Martin Deubler, Technische Universit?t M?nchen, Germany
Johannes Gr?nbauer, Technische Universit?t M?nchen, Germany
Gerhard Popp, Technische Universit?t M?nchen, Germany
Guido Wimmel, Technische Universit?t M?nchen, Germany
Christian Salzmann, BMW Car IT GmbH, Germany
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.
Citation:
Martin Deubler, Johannes Gr?nbauer, Gerhard Popp, Guido Wimmel, Christian Salzmann, "Tool Supported Development of Service-Based Systems," apsec, pp.99-108, 11th Asia-Pacific Software Engineering Conference (APSEC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions