The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)
Design Patterns CD: Elements of Reusable Object-Oriented Software, (CD-ROM)
Transformational Formal Development of Real-Time Systems
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
CASE-based rigorous object-oriented modeling
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A problem-oriented analysis of basic UML static requirements modeling concepts
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Transformations and Software Modeling Languages: Automating Transformations in UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Configuration Knowledge Representation Using UML/OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Generic Process to Refine a B Specification into a Relational Database Implementation
ZB '00 Proceedings of the First 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
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
Toward Formalizing Domain Modeling Semantics in Language Syntax
IEEE Transactions on Software Engineering
Formal refactorings for object models
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Reasoning on UML class diagrams
Artificial Intelligence
A Static Semantics for Alloy and its Impact in Refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
UML Static Models in Formal Approach
Balancing Agility and Formalism in Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Formal automated analysis of object oriented software models
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
On the complexities of consistency checking for restricted UML class diagrams
Theoretical Computer Science
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
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach
Information and Software Technology
Consistency checking algorithms for restricted UML class diagrams
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
A formal framework for reasoning on metadata based on CWM
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
The Unified Modeling Language (UML) is likely to be-come an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool is limited due to a lack of precise semantics and practical analysis techniques. This paper proposes a rigorous analysis technique for UML based on the use of diagrammatical transformations. A precise description of a subset of UML class diagrams is presented. This is then used to identify a number of deductive transformations on class diagrams. Conditions for checking the soundness of the rules are also given. Because the reasoning system is based on the manipulation of diagrams, it is proposed that they can be successfully used by practitioners without recourse to complex linguistic proof techniques.