Component synthesis from service specifications

  • Authors:

  • Ingolf H. Krüger;Reena Mathew

  • Affiliations:

  • Computer Science & Engineering Department, University of California, San Diego, La Jolla, CA;Computer Science & Engineering Department, University of California, San Diego, La Jolla, CA

  • Venue:
  • SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Correct component models for distributed, reactive systems are difficult to construct. Typically, the services provided by such systems emerge from the interaction and collaboration of multiple components; each component, in general, contributes to multiple services. Consequently, services and their defining interaction patterns are key elements in the development process for distributed system: they contain the cross-cutting aspects of collaboration, which are only poorly captured on the component level. Typical modeling and development methods and associated notations, such as the UML, however, focus on the specification of complete information about components, instead of on the partial view provided by services. In this contribution, we give a precise definition of the term service, based on patterns of interaction. Using the CTAS case study, we demonstrate systematic development steps leading from service specifications to component implementations; we also show how to automatically synthesize prototypic state machines from interaction patterns defining services.