Formalizing Semantics for UML Activity Diagram through Regular Expression Translation
نویسندگان
چکیده
منابع مشابه
Formalizing Semantics for UML Activity Diagram through Regular Expression Translation
Formalization of UML models now becomes a requisite action by most of the software designers. UML is semiformal in nature. So it becomes necessary to formalize the UML which would reduce the overall complexity of software design. Today as software becoming more interactive and distributed in nature, the formal syntax and automated verification analysis of behavioral aspect of any model becomes ...
متن کامل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 Direct...
متن کامل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...
متن کاملAn ASM Semantics for UML Activity Diagrams
We provide a rigorous semantics for one of the central diagram types which are used in UML for the description of dynamical system behavior, namely activity diagrams. We resolve for these diagrams some of the ambiguities which arise from different interpretations of UML models. Since we phrase our definition in terms of Abstract State Machines, we define at the same time an interesting subclass...
متن کاملDiagram Interchange for UML
XMI is a standardized mechanism for exchanging UML models. However, this mechanism does not sufficiently fulfill the goal of a model interchange: it does not include the exchange of diagram information. XMI as defined for UML 1.x is only capable of transporting information on the elements in an UML model but not information as to how these elements are represented and laid out in diagrams. This...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Research Journal of Applied Sciences, Engineering and Technology
سال: 2015
ISSN: 2040-7459,2040-7467
DOI: 10.19026/rjaset.11.1704