Object oriented design with applications
Object oriented design with applications
Object-oriented modeling and design
Object-oriented modeling and design
Real-time object-oriented modeling
Real-time object-oriented modeling
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
The unified software development process
The unified software development process
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Semantics and Transformations for UML Models
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A Formal Approach to Use Cases and Their Relationships
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Design Patterns Application in UML
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Towards Ontological Foundations for UML Conceptual Models
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Towards Ontologically Based Semantics for UML Constructs
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Formal Specification of Object-Oriented Meta-modelling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Dependency Relations between Models in the Unified Process
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A radical revision of UML's role concept
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
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Hi-index | 0.00 |
In this paper we give a formal definition of the collaboration construct in the Unified Modeling Language (UML). We also state what it means that a use case is realized by a collaboration, and what the relationship is between the specification part and the realization part of a subsystem in UML.