Modeling concurrency with partial orders
International Journal of Parallel Programming
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Fundamenta Informaticae - Special issue on graph transformations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Refinements of Graph Transformation Systems via Rule Expressions
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
On Asynchrony in Name-Passing Calculi
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A formal semantics for UML interactions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Proceedings of the 24th International Conference on Software Engineering
Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relating functional requirements and software architecture: separation and consistency of concerns
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Toward Extracting π-calculus from UML Sequence and State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML Models to Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Contract-based Testing of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Model-based development of web applications using graphical reaction rules
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A meta-method for defining software engineering methods
Graph transformations and model-driven engineering
| Hi-index | 0.00 |
Collaboration diagrams as described in the official 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.