The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides. A service, in our view, is defined by the interplay among components required to establish a certain result. Services shift attention from the details of individual components to a global view of the system. We give a formal definition for the notion of service, and discuss to what extent the modeling languages provided by UML and UML-RT support a service-oriented development approach.
%0 Journal Article
%1 kruger_02_specifying
%A Krüger, Ingolf H.
%B VISS 2002, Validation and Implementation of Scenario-based Specifications (Satellite Event of ETAPS 2002)
%D 2002
%J Electronic Notes in Theoretical Computer Science
%K 2002 uml umlrt
%N 7
%P 1--17
%R 10.1016/S1571-0661(04)80483-3
%T Specifying Services with UML and UML-RT: Foundation, Challenges and Limitations
%U http://dx.doi.org/10.1016/S1571-0661(04)80483-3
%V 65
%X The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides. A service, in our view, is defined by the interplay among components required to establish a certain result. Services shift attention from the details of individual components to a global view of the system. We give a formal definition for the notion of service, and discuss to what extent the modeling languages provided by UML and UML-RT support a service-oriented development approach.
@article{kruger_02_specifying,
abstract = {The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides. A service, in our view, is defined by the interplay among components required to establish a certain result. Services shift attention from the details of individual components to a global view of the system. We give a formal definition for the notion of service, and discuss to what extent the modeling languages provided by UML and UML-RT support a service-oriented development approach.},
added-at = {2009-02-11T22:19:11.000+0100},
author = {Kr"{u}ger, Ingolf H.},
biburl = {https://www.bibsonomy.org/bibtex/24be74eef4f9401384220103620d2259b/leonardo},
booktitle = {VISS 2002, Validation and Implementation of Scenario-based Specifications (Satellite Event of ETAPS 2002)},
citeulike-article-id = {572425},
doi = {10.1016/S1571-0661(04)80483-3},
interhash = {c99258bfe9a1f3ce51f756aaaac774a2},
intrahash = {4be74eef4f9401384220103620d2259b},
journal = {Electronic Notes in Theoretical Computer Science},
keywords = {2002 uml umlrt},
month = May,
number = 7,
pages = {1--17},
posted-at = {2006-04-01 18:30:41},
priority = {2},
timestamp = {2009-02-11T22:19:11.000+0100},
title = {Specifying Services with UML and UML-RT: Foundation, Challenges and Limitations},
url = {http://dx.doi.org/10.1016/S1571-0661(04)80483-3},
volume = 65,
year = 2002
}