Service-Based Systems Engineering: Consistent Combination of Services

Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a service-based development process applicable in safety-critical areas, a precise understanding of the notions service, component and interface is introduced as well as methodical steps like composition, and consistency and completeness validation. The applicability of our definitions is demonstrated in the context of tool-supported feature interaction detection.

[1]  Satoshi Yamane,et al.  The symbolic model-checking for real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.

[2]  B. Schätz.  Towards Service-Based Systems Engineering : Formalizing and μ-Checking Service Descriptions , 2002 .

[3]  Armin Biere.  Effiziente Modellprüfung des µ-Kalküls mit binären Entscheidungsdiagrammen , 1997 .

[4]  C Bettini,et al.  Eighth International Symposium on TEMPORAL REPRESENTATION AND REASONING, Time-01 , 2001 .

[5]  Bernhard Schätz,et al.  Integrating Formal Description Techniques , 1999, World Congress on Formal Methods.

[6]  Michael Jackson,et al.  New Feature Interactions in Mobile and Multimedia Telecommunications Services , 2000, FIW.

[7]  Max Mühlhäuser.  Special Issues in Object-Oriented Programming , 1997 .

[8]  Christian Salzmann,et al.  Modelbasierter Entwurf spontaner Komponentensysteme , 2002 .

[9]  Stuart Anderson,et al.  Diagrams and Programming Languages for Programmable Controllers , 1997, FME.

[10]  Manfred Broy,et al.  Specification and Development of Interactive Systems , 2001, Monographs in Computer Science.

[11]  S. Anderson,et al.  Secure Synthesis of Code: A Process Improvement Experiment , 1999, World Congress on Formal Methods.

[12]  Frank Dederichs,et al.  Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents , 1993 .

[13]  Evan H. Magill,et al.  Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK , 2000, FIW.

[14]  Thomas A. Henzinger,et al.  Reactive Modules , 1999, Formal Methods Syst. Des..

[15]  Ahmed Khoumsi,et al.  A Detection Method Developed after a Thorough Study of the Contest Held in 1998 , 2000, FIW.

[16]  Cividale del Friuli.  Eighth International Symposium on Temporal Representation and Reasoning TIME 2001 , 2001 .

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

[18]  Ingolf Krüger,et al.  Distributed system design with message sequence charts , 2000 .

[19]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[20]  Jørgen Staunstrup.  Specification and Verification of Concurrent Programs , 1979 .

[21]  Bernhard Schätz,et al.  Combining Aspects of Reactive Systems , 2003, Ershov Memorial Conference.