The Z notation: a reference manual
The Z notation: a reference manual
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
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
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal methods for distributed processing
Constraint checking in UML modeling
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
An ontological approach to domain engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Rearchitecting the UML infrastructure
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On the Formalized Semantics of Static Modeling Elements in UML
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Formal Mapping between UML Models and Object-Z Specifications
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifications, not meta-models
Proceedings of the 2006 international workshop on Global integrated model management
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Specification of OCL constraints on ODP computational interfaces
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Interaction signatures and action templates in the ODP computational viewpoint
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Reliable UML Models and Profiles
Electronic Notes in Theoretical Computer Science (ENTCS)
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
A framework for determining design correctness
Knowledge-Based Systems
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
UML - a universal modeling language?
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
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
Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Validating UML models and 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
Supporting several levels of restriction in the UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Mixing visual and textual constraint languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A design methodology for functional programs
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Engineering runtime requirements-monitoring systems using MDA technologies
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
A demonstration-based approach for designing domain-specific modeling languages
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Uses and abuses of the stereotype mechanism in UML 1.x and 2.0
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
UML4SPM: a UML2.0-Based metamodel for software process modelling
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Software development with the emphasis on topology
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Hi-index | 0.00 |
The current UML semantics documentation has made a significant step towards providing a precise description of the UML. However, at present the semantic model it proposes only provides a description of the language's syntax and well-formedness rules. The meaning of the language, which is mainly described in English, is too informal and unstructured to provide a foundation for developing formal analysis and development techniques. Another problem is the scope of the model, which is both complex and large. This paper describes work currently being undertaken by the precise UML group (pUML), an international group of researchers and practitioners, to address these problems. A formalisation strategy is presented which concentrates on giving a precise denotational semantics to core elements of UML. This is illustrated through the development of precise definitions of two important concepts: generalization and packages. Finally, a viewpoint architecture is proposed as a means of providing improved separation of concerns in the semantics definition.