Paper Info
Title
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
Abstract
In our service engineering approach, services are specified by UML 2.0 collaborations and activities, focusing on the interactions between cooperating entities To execute services, however, we need precise behavioral descriptions of physical system components modeling how a component contributes to a service For these descriptions we use the concept of state machines which form a suitable input for our existing code generators that produce efficiently executable programs From the engineering viewpoint, the gap between the collaborations and the components will be covered by UML model transformations To ensure the correctness of these transformations, we use the compositional Temporal Logic of Actions (cTLA) which enables us to reason about service specifications and their refinement formally In this paper, we focus on the execution of services By outlining an UML profile, we describe which form the descriptions of the components should have to be efficiently executable To guarantee the correctness of the design process, we further introduce the cTLA specification style cTLA/e which is behaviorally equivalent with the UML 2.0 state machines used as code generator input In this way, we bridge the gap between UML for modeling and design, cTLA specifications used for reasoning, and the efficient execution of services, so that we can prove important properties formally.
Year
DOI
Venue
2006
10.1007/11914952_41
OTM Conferences (2)
Keywords
Field
DocType
service specification,temporal logic,aligning uml,uml profile,service engineering approach,state machine,efficient execution,design process,uml model transformation,ctla specification style ctla,code generator input,ctla specification,code generation,temporal logic of actions,component model
Temporal logic of actions,UML tool,Software engineering,Unified Modeling Language,Computer science,Correctness,Finite-state machine,Applications of UML,Temporal logic,Database,Executable,Distributed computing
Conference
Volume
ISSN
ISBN
4276
0302-9743
3-540-48274-1
Citations 
PageRank 
References 
19
1.09
10
Authors
3
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13
Peter Herrmann219013.04
Rolv Bræk319921.51