Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

FASE
2001
Springer

favoriteEmaildiscussreport

91views Software Engineering» more FASE 2001»

Strengthening UML Collaboration Diagrams by State Transformations

13 years 9 months ago

Strengthening UML Collaboration Diagrams by State Transformations

Download www.cs.pitt.edu

Abstract. Collaboration diagrams as described in the oﬃcial UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying, in addition, pre/postconditions and state transformations of operations and scenarios. This conceptual idea is formalized by means of graph transformation systems and graph process, thereby integrating the state transformation with the structural and the interaction aspect.

Reiko Heckel, Stefan Sauer

Real-time Traffic

Documents Specify Patterns | FASE 2001 | Graph Transformation Systems | Software Engineering | State Transformation |

claim paper

Related Content

» Design of Rules for Transforming UML Sequence Diagrams into Java code

» Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams

» TransformationBased Structure Model Evolution

» UML Interaction Diagrams Correct Translation of Sequence Diagrams into Collaboration Diagr...

» Transformation of B specifications into UML class diagrams and state machines

» Dynamic Meta Modeling A Graphical Approach to the Operational Semantics of Behavioral Diag...

» Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation

» Management of Correctness Problems in UML Class Diagrams Towards a PatternBased Approach

» The UML as a Formal Modeling Notation

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	FASE
Authors	Reiko Heckel, Stefan Sauer

Comments (0)