Sciweavers

Share
JCSS
2011

Model interoperability via Model Driven Development

8 years 2 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal analysis domains. Software design is often considered a human oriented task while the analysis phase draws on formal representation and mathematical foundations. An example of this dichotomy is the use of UML for the software design phase and Petri Nets for the analysis; a separation of concerns that leads to the creation of heterogeneous models. Although UML is widely accepted as a language that can be used to model the structural and behavioural aspects of a system, its lack of mathematical foundations is seen as a serious impediment to rigorous analysis. Petri Nets on the other hand have a strong mathematical basis that is well suited for formal analysis; they lack however the appeal and the easeof-use of UML. A pressing concern for software developers is how to bridge the gap between these domains and allo...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2011
Where JCSS
Authors Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Anane
Comments (0)
books