%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 }