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.

• Type: Conference
• Year: 2003
• Where: ICFEM
• Authors: Bernhard Schätz, Chris Salzmann
• Keywords: Complex Reactive Systems, Feature Interaction Detection, ICFEM 2003, Service-based Development Process