Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formally modeling UML and its evolution: a holistic approach
Fourth International Conference on Formal methods for open object-based distributed systems IV
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Algebraic Specification of Concurrency
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Prototyping Object Oriented Specifications in an Algebraic Environment
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
TOWARDS A UNIFIED TEST PROCESS: FROM UML TO END-OF-LINE FUNCTIONAL TEST
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Developing state diagrams using a state specialization technique
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
A precise approach for the analysis of the UML models consistency
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
The rewriting logic semantics project: A progress report
Information and Computation
| Hi-index | 0.00 |
The Unified Modeling Language, UML, is the object-oriented notation adopted as the standard for object-oriented Analysis and Design by the Object Management Group. This paper reports on research to facilitate the formal revision of UML informal specifications. The approach is based on the algebraic specification formal theory, which is used to formalize the UML Statechart Diagrams and subsequently verify them. To illustrate the proposal, the so-called orthogonality property is investigated. This property is modeled at the UML metamodel level so that its fulfillment on the part of any particular UML Statechart diagram can be mathematically proven or disproven. The formal models obtained are specified in the executable formal language Maude thus providing the additional advantage of using them as functional prototypes. These results lead up to a whole formalization of the UML, which can be used in practice, and lay the foundations for the construction of rigorous UML CASE tools.