Mapping UML Models incorporating OCL Constraints into Object-Z
نویسندگان
چکیده
Focusing on object-oriented designs, this paper proposes a mapping for translating systems modelled in the Unified Modelling Language (UML) incorporating Object Constraint Language (OCL) constraints into formal software specifications in Object-Z. Joint treatment of semi-formal model constructs and constraints within a single translation framework and conversion tool is novel, and leads to the generation of much richer formal specifications than is otherwise possible. This paper complements previous analyses by paying particular attention to the generation of complete Object-Z structures. Integration of proposals to extend the OCL to include action constraints also boosts the expressivity of the translated specifications. The main features of a tool support are described.
منابع مشابه
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation
UML [17] is the de facto standard for specifying both of the structural and behavioral aspects of systems. OCL (Object Constraint Language [16]), an integral part of UML, allows for specifying additional constraints on UML models in a more precise and concise manner. OCL has a mathematical definition based on set theory with a notion of object model and system states. UML and OCL are easy and f...
متن کاملModel Checking of Extended OCL Constraints on UML Models in SOCLe
We present the first tool that offers dynamic verification of extended OCL constraints on UML models. It translates a UML model into an Abstract State Machine (ASM) which is transformed by an ASM simulator into an abstract structure called UML-valued OO TransitionSystem (OOTSUML). The Extended Object Constraints Language (EOCL) is interpreted on computation trees of this OOTSUML allowing for th...
متن کاملTime-Based Constraints in the Object Constraint Language
The Object Constraint Language (OCL) is a specification language which could be used for describing constraints on object-oriented models and other modelling artifacts. OCL is a part of the Unified Modelling Language (UML) which is the de facto standard for objectoriented analysis and design. OCL is designed to be used by software engineers and modellers and requires only modest mathematical tr...
متن کاملTransformation of UML and OCL Models into Filmstrip Models
This contribution presents an automatic transformation from UML and OCL models into enriched UML and OCL models, so-called lmstrip models, which embody temporal information when employing OCL while maintaining the same functionality as the original model. The approach uses a combination of object and sequence diagrams that allows for a wide range of possible OCL constraints about sequences of o...
متن کاملStructure of the Dresden OCL Toolkit
The Object Constraint Language (OCL) as a part of the UML standard [1] is a formal language for defining constraints on UML models. We present a software platform for OCL tool support [2]. The platform is designed for openness and modularity, and is provided as open source. The goal of this platform is, for one thing, to enable practical experiments with various variants of OCL tool support, an...
متن کامل