Paper Info
Title
Automatic generation of compatible interfaces from partitioned UML activities
Abstract
Behavioral interfaces describing the sequences of buffered signal transmissions between components are useful to ensure that components can interact consistently. Previous work has shown that compatible interfaces at each side of a channel are in general asymmetric: In cases where both communicating sides can take initiative and send, they have to be prepared for conflicts that need resolution. Such conflicts are often difficult to handle properly at the interaction level, where the intent of the actual application may be obscured by technical details. For this reason, we developed an automated method that starts with a holistic and collaborative view on distributed behavior provided by UML activities, in which components are represented by separate partitions. Once the activity is well-formed, pairs of interfaces for each channel are derived by cutting the activity along its partitions and exploring the visible behavior between them. The resulting interfaces are compatible by construction and allow other entities to interact consistently across them. The proposed method is implemented as part of our tool support.
Year
DOI
Venue
2009
10.1007/978-3-642-04554-7_12
SDL Forum
Keywords
Field
DocType
partitioned uml activity,visible behavior,buffered signal transmission,actual application,automated method,uml activity,automatic generation,collaborative view,general asymmetric,behavioral interface,compatible interface
Engineering drawing,Unified Modeling Language,Service contract,Compatibility (mechanics),Computer science,Communication channel,Finite-state machine,Temporal logic,Distributed computing
Conference
Volume
ISSN
ISBN
5719
0302-9743
3-642-04553-7
Citations 
PageRank 
References 
0
0.34
16
Authors
1
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13