Paper Info
Title
Automated Encapsulation of UML Activities for Incremental Development and Verification
Abstract
With their revision in the UML 2.x standard, activities have been extended with streaming parameters. This facilitates a reuse-oriented specification style, in which dedicated functions can be contributed by self-contained activities as building blocks: Using streaming parameters, activities can be composed together in a quite powerful manner, since streaming parameters may also pass information while activities are executing. However, to compose them correctly, we must know in which sequence an activity may emit or accept these streaming parameters. Therefore, we propose special UML state machines that specify the externally visible behavior of activities. Further, we develop an algorithm to construct these state machines automatically for an activity based on model checking. Using these behavioral contracts, activities can then be composed without looking at their internal details. Moreover, the contracts can be used during system verification to reduce the complexity of the analysis.
Year
DOI
Venue
2009
10.1007/978-3-642-04425-0_44
MoDELS
Keywords
Field
DocType
reuse-oriented specification style,internal detail,incremental development,externally visible behavior,model checking,self-contained activity,state machine,special uml state machine,powerful manner,automated encapsulation,system verification,uml activities,behavioral contract,verification
UML state machine,Model checking,Programming language,UML tool,Systems engineering,Unified Modeling Language,Iterative and incremental development,Computer science,Finite-state machine,Applications of UML,Encapsulation (computer programming)
Conference
Volume
ISSN
Citations 
5795
0302-9743
25
PageRank 
References 
Authors
0.96
16
2
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13
Peter Herrmann219013.04