An MDA Approach Towards Integrating Formal and Informal Modeling Languages

Kim, Soon-Kyeong; Burger, Damian; Carrington, David

doi:10.1007/11526841_30

Cited by 15 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Kim Soon-Kyeong et al [6,7] present a formal description for UML class constructs, and a formal metamodeling approach to transform UML to Object-Z. They utilize MDA for automated transformations between models defined in different languages at different abstraction levels [8].…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A Formal Transformation Approach for Embedded Software Modeling

Yi²

2014

JSW

View full text Add to dashboard Cite

Formal specification can enhance the reliability of the embedded system and verify the system properties at the design stage. This paper presents a formal transformation approach for MARTE(Modeling and Analysis of Real Time and Embedded systems) model based on MDA(Model Driven Architecture), and defines the transformation rules of static and dynamic semantic between MARTE model and Object-Z model in term of the formal meta-model. The approach can produce a precise specification and verify the correctness of the system properties before implementing. The paper reports a case study to illustrate formal transformation of MARTE model. It demonstrates that the approach improves the accuracy of system model by transforming it into formal specification and enhances the reliability of software system.

show abstract

Section: Related Workmentioning

confidence: 99%

“…It defines the object behavior in term of the attributes and operations. The state machine is similar to the object behavior in Object-Z semantically, so it is feasible to use a state machine to represent the object behavior [7,8]. We define the mapping rules between MARTE state machine and Object-Z as follow.…”

Section: Dynamic Semantic Transformingmentioning

confidence: 99%

A Formal Transformation Approach for Embedded Software Modeling

Yi²

2014

JSW

View full text Add to dashboard Cite

show abstract

MDA-Based Re-engineering with Object-Z

Süß

McComb

Kim

et al. 2006

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Improving the Definition of UML

O'Keefe

2006

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

The literature on formal semantics for UML is huge and growing rapidly. Most contributions open with a brief remark motivating the work, then quickly move on to the technical detail. How do we decide whether more rigorous semantics are needed? Do we currently have an adequate definition of the syntax? How do we evaluate proposals to improve the definition? We provide criteria by which these and other questions can be answered. The growing role of UML is examined. We compare formal language definition techniques with those currently used in the definition of UML. We study this definition for both its content and form, and conclude that improvements are required. Finally, we briefly survey the UML formalisation literature, applying our criteria to determine which of the existing approaches show the most potential. Many would argue that UML has no semantics [HR04,HS05], despite the numerous subheadings with that title in the documents which define the language [Obj06,Obj03,Obj05c,Obj05a]. Bran Selic [Sel04] counters these claims by collecting and summarising the scattered material on semantics from the main official document [Obj05c]. He also encourages theoreticians to study ways of making the semantics more precise. The only real disagreement here is over the usage of the word "semantics." This is the topic of Harel and Rumpe's excellent article [HR04], and their position is that "semantics" is a mathematical term: Regardless of the exposition's degree of formality, the semantic mapping M : L / / S must be a rigorously defined function from the language's syntax L to its semantic domain S. Needless to say, an adequate semantic mapping for the full UML does not exist.

show abstract

An MDA Approach Towards Integrating Formal and Informal Modeling Languages

Cited by 15 publications

References 14 publications

A Formal Transformation Approach for Embedded Software Modeling

A Formal Transformation Approach for Embedded Software Modeling

MDA-Based Re-engineering with Object-Z

Improving the Definition of UML

Contact Info

Product

Resources

About