Seamless Formalizing the UML Semantics Through Metamodels1
نویسنده
چکیده
ing UML Behavior Diagrams for Verification María del Mar Gallardo, Jesús Martinez, Pedro Merino and Ernesto Pimentel (2005). Software Evolution with UML and XML (pp. 296-320). www.irma-international.org/chapter/abstracting-uml-behavior-diagramsverification/29617/ Security Issues in Outsourced XML Databases Tran Khanh Dang (2009). Open and Novel Issues in XML Database Applications: Future Directions and Advanced Technologies (pp. 231-261). www.irma-international.org/chapter/security-issues-outsourced-xmldatabases/27784/
منابع مشابه
Formally Modeling UML and its Evolution: A Holistic Approach
Due to the pervasiveness of diagrams in human communication and because of the increasing availability of graphical notations in Software Engineering, the study of diagrammatic notations is at the forefront of many research e orts. The expressive power of these kinds of languages and notations can be remarkably improved by adding extensibility mechanisms. Extensibility, the ability of a notatio...
متن کاملA Formal Semantics for the Complete Syntax of UML State Machines with Communications (Report)
UML is a widely used notation introduced by the Object Management Group (OMG), and formalizing its semantics is an important issue. In this work, we concentrate on formalizing UML state machines which are used to express the dynamic behavior of software systems. We propose a formal operational semantics covering all features of the latest version (2.4.1) of UML state machine specification. We u...
متن کاملFormalizing UML State Machine Semantics for Automatic Verification–the PAT Approach
UML state machine is widely used in modeling the dynamic behavior of object-oriented designs in industry. But UML state machine specification, which is maintained by Object Management Group(OMG), is documented in natural language instead of formal language. The inherited ambiguity of natural language may introduce inconsistencies to the resulting state machine model. Formalizing UML state machi...
متن کاملA Formal Semantics for Complete UML State Machines with Communications
UML is a widely used notation, and formalizing its semantics is an important issue. Here, we concentrate on formalizing UML state machines, used to express the dynamic behaviour of software systems. We propose a formal operational semantics covering all features of the latest version (2.4.1) of UML state machines specification. We use labelled transition systems as the semantic model, so as to ...
متن کاملFormalizing UML Semantics
UML (Unified Modeling Language) developed by a group of leading experts in object-oriented methodologies has become the de facto standard object-oriented development methodology in the ware industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. In the past several years, many researchers around the worl...
متن کامل