Benutzer: Gast  Login
Titel:

Towards Service-Based Systems Engineering: Formalizing and mu-Checking Service Descriptions

Dokumenttyp:
Technical Report
Autor(en):
Bernhard Schaetz
Abstract:
Using graphical description techniques for the modeling of distributed reactive systems is especially useful in the early phases like requirements engineering. There, often a trial-and-error approach is applied to develop a first system specification. Thus, even there a precise meaning of those description techniques is necessary to check for consistency and completeness of a service-oriented description of the requirements. We introduce a formal semantics for the scenario-based graphical langua...     »
Stichworte:
Service; service-based; system; model; scenario; feature; interaction; completeness; consistency; formalization; relational; mu-calculus; model checking; software engineering; development process; semantics; views
Jahr:
2002
Jahr / Monat:
2002-07-01 00:00:00
Seiten/Umfang:
21
 BibTeX