Paper Info
Title
Tool support for the rapid composition, analysis and implementation of reactive services
Abstract
We present the integrated set of tools Arctis for the rapid development of reactive services. In our method, services are composed of collaborative building blocks that encapsulate behavioral patterns expressed as UML 2.0 collaborations and activities. Due to our underlying semantics in temporal logic, building blocks as well as their compositions can be transformed into formulas and model checked incrementally in order to guarantee that important system properties are kept. The process of model checking is fully automated. Error traces are presented to the users as easily understandable animations, so that no expertise in temporal logic is needed. In addition, the results of model checking are analyzed, so that in some cases automated diagnoses and fixes can be provided as well. The formal semantics also enables the correct, automatic synthesis of the activities to state machines which form the input of our code generators. Thus, the collaborative models can be fully automatically transformed into executable Java code. We present the development of a mobile treasure hunt system to exemplify the method and the tools.
Year
DOI
Venue
2009
10.1016/j.jss.2009.06.057
Journal of Systems and Software
Keywords
Field
DocType
temporal logic,collaborative model,executable java code,rapid composition,model checking,cases automated diagnosis,code generator,reactive service,service engineering,collaborative building block,important system property,mobile treasure hunt system,tool support,uml,service composition,model-driven development,formal semantics,state machine,code generation
Behavioral pattern,Programming language,Model checking,Software engineering,Unified Modeling Language,Computer science,Finite-state machine,Temporal logic,Semantics,Semantics of logic,Executable
Journal
Volume
Issue
ISSN
82
12
The Journal of Systems & Software
Citations 
PageRank 
References 
44
1.87
23
Authors
3
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13
Vidar Slåtten2614.65
Peter Herrmann319013.04