Object-oriented software engineering
Object-oriented software engineering
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
A formal description of the OMG's Core Object Model and the meaning of compatible extension
Computer Standards & Interfaces - Special issue on formal description techniques
Using formalized temporal message-flow diagrams
Software—Practice & Experience
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Towards a compositional interpretation of object diagrams
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Proceedings of the Conference on The Future of Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Formalizing UML Models with Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Reasoning on UML class diagrams
Artificial Intelligence
Metrics for model driven requirements development
Proceedings of the 28th international conference on Software engineering
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliable UML Models and Profiles
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning on UML class diagrams
Artificial Intelligence
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond 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
SDL as UML: why and what panel
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
A semantics for object-oriented systems
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
| Hi-index | 0.00 |
Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics. This means that it is difficult to determine whether a design is consistent, whether a design modification is correct and whether a program correctly implements a design. Formal methods provide the rigor which is lacking in object-oriented design notations. This provision is often at the expense of clarity of exposition for the non-expert. Formal methods aim to use mathematical techniques in order to allow software development activities to be precisely defined, checked and ultimately automated. This paper aims to present an overview of work being undertaken to provide (a sub-set of) the UML with formal semantics. The semantics will facilitate the use of the UML in the software development process by allowing development steps to be defined and checked.