Tool supported development of service-based systems

被引：0
|
作者：
Deubler, M [1 ]
Grünbauer, J [1 ]
Popp, G [1 ]
Wimmel, G [1 ]
Salzmann, C [1 ]
机构：
[1] Tech Univ Munich, Inst Informat, D-85748 Garching, Germany
来源：
11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/APSEC.2004.101
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：99 / 108
页数：10
相关论文
共 50 条
  • [1] Live GUI Development for Service-Based Systems
    Johnsson, Bjorn A.
    Magnusson, Boris
    [J]. PROGRAMMING 2019: PROCEEDINGS OF THE CONFERENCE COMPANION OF THE 3RD INTERNATIONAL CONFERENCE ON ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, 2019,
  • [2] Toward Development of Adaptive Service-Based Software Systems
    Yau, Stephen S.
    Ye, Nong
    Sarjoughian, Hessam S.
    Huang, Dazhi
    Roontiva, Auttawut
    Baydogan, Mustafa Goekce
    Muqsith, Mohammed A.
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2009, 2 (03) : 247 - 260
  • [3] MaTRICS: A service-based management tool for remote intelligent configuration of systems
    Bajohr, Markus
    Margaria, Tiziana
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2006, 2 (02) : 99 - 111
  • [4] Tool Support for a Hybrid Development Methodology of Service-Based Interactive Applications
    Liebing, Christian
    Feldmann, Marius
    Mosig, Jan
    Katz, Philipp
    Schill, Alexander
    [J]. WEB ENGINEERING, ICWE 2011, 2011, 6757 : 395 - 398
  • [5] Replacement Policies for Service-Based Systems
    Mahbub, Khaled
    Zisman, Andrea
    [J]. SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS, 2010, 6275 : 345 - 357
  • [6] Variation Needs in Service-Based Systems
    Ruokonen, Anna
    Raisanen, Vilho
    Siikarla, Mika
    Koskimies, Kai
    Systa, Tarja
    [J]. PROCEEDINGS OF THE SIXTH IEEE EUROPEAN CONFERENCE ON WEB SERVICES, 2008, : 115 - +
  • [7] Towards a model-based and incremental development process for service-based systems
    Deubler, M
    Grünbauer, J
    Popp, G
    Wimmel, G
    Salzmann, C
    [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 183 - 188
  • [8] Special issue: Development of service-based and agent-based computing systems
    Huhns, Michael N.
    Kowlczyk, Ryszard
    Maamar, Zakaria
    Unland, Rainer
    [J]. MULTIAGENT AND GRID SYSTEMS, 2012, 8 (01) : 1 - 2
  • [9] Service-based Development of Context-aware Automotive Telematics Systems
    Tran, Minh H.
    Colman, Alan
    Han, Jun
    [J]. 2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 53 - 62
  • [10] Service Functionality Indexing and Matching for Service-Based Systems
    Yau, Stephen S.
    Liu, Junwei
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 1, 2008, : 461 - 468
12345