Integrating service specifications at different levels of abstraction
2005
The service-oriented paradigm is a promising approach to handle the growing complexity of software systems. This paper introduces a methodology for a stepwise refinement of service specifications on different levels of abstraction. Moreover, it deals with the integration of service and architecture specifications. Underlying concepts for a formal service specification are motivated from a methodological point of view and are precisely given in this paper. Furthermore the application of these concepts is demonstrated within a case example. The presented methodology stems from the RoFa-Soft project, where both aforementioned development paradigms are consolidated and integrated.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
7
References
5
Citations
NaN
KQI