Semantics transformation of NFA to Z notation by constructing union of regular languages
ACS'08 Proceedings of the 8th conference on Applied computer scince
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Formalisation for Verification of Diagrammatic Models
Electronic Notes in Theoretical Computer Science (ENTCS)
An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Heuristics on the definition of UML refinement patterns
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Formal service-oriented development of fault tolerant communicating systems
Rigorous Development of Complex Fault-Tolerant Systems
Consistency in UML and b multi-view specifications
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
Proceedings of the 12th Workshop on OCL and Textual Modelling
| Hi-index | 0.00 |
In the continuity of our research on integration of UMLand B, we address in this paper the transformation fromOCL (Object Constraint Language), which is an integralpart of UML, into B. Our derivation schemes allow to systematicallyeven automatically derive into B not only thecomplementary class invariants, the state-chart guard conditions,but also the OCL specification for UML operations.