Filters








3,644 Hits in 3.5 sec

An MDA Approach Towards Integrating Formal and Informal Modeling Languages [chapter]

Soon-Kyeong Kim, Damian Burger, David Carrington
2005 Lecture Notes in Computer Science  
This paper takes an MDA approach to integrate a formal modeling language (Object-Z) with an informal modeling language (UML) via model transformation.  ...  This paper shows how formal and informal modeling languages can be cooperatively used in the MDA framework and how the transformations between models in these languages can be achieved using an MDA development  ...  We wish to thank Keith Duddy, Michael Lawley and other DSTC staff for their assistance with their transformation language [3] and their Tefkat tool [2] .  ... 
doi:10.1007/11526841_30 fatcat:ocj35wcl6fcgbiyve2gkdldjli

An algorithm for the automatic transformation of ontology axioms into a rule model

Olegas Vasilecas, Diana Bugaite
2007 Proceedings of the 2007 international conference on Computer systems and technologies - CompSysTech '07  
We analyse transformation of ontology axioms into rule model, which is an important and integral part of each conceptual data model.  ...  Therefore, the main aim of this research is to adopt the appropriate model based transformation approach for the transformation of ontology axioms into a rule model.  ...  Work The analysis of the related work on model transformation approaches shows that MDA can and should be used for the transformation of ontology axioms into rule model, which is an important and integral  ... 
doi:10.1145/1330598.1330610 dblp:conf/compsystech/VasilecasB07 fatcat:becjb6tl2zcxfjusbnmmeaybkq

Model-driven systems development and integration environment

M. Azmoodeh, N. Georgalas, S. Fisher
2005 BT technology journal  
, executable formalisms and domainspecific languages and language transformations.  ...  It is clearly demonstrated that model-driven development has matured into a practical, industrialised, scalable and evolvable technology, culminating from decades of R&D on specification and design languages  ...  Acknowledgments The authors would like to express their grateful thanks for many fruitful discussions with and suggestions by their colleagues, especially Jim Hardwicke, Phil Holmes, and Shumao Ou.  ... 
doi:10.1007/s10550-005-0034-1 fatcat:rzdbcmzgmbahpize4htaukye4m

A Framework for Model Driven Transformation Engineering towards Software Architecture and Performance

Ahmad Mateen, Alia Tabassum
2016 International Journal of Computer Applications  
This paper presents a different experience and application of defining and implementing an Agile Development Process (ADP) using Model Driven Architecture (MDA) series.  ...  This approach offers several other advantages including Platform-independent models which are used to promote the system endurance and flexibility in deployment.  ...  All MDA modeling language are formally determined in Model Object Facility (MOF) which is a stone strong formation.  ... 
doi:10.5120/ijca2016908959 fatcat:swokj5674vgidiwaqutj3s6xf4

Model of Interoperability of Multiple Different Information Systems using SOA Middleware Layer and Ontological Database on the Cloud

Meryem FAKHOURI AMR, Khalifa MANSOURI, Mohammed QBADOU, Bouchaib RIYAMI
2018 International Journal of Advanced Computer Science and Applications  
The special feature of our model is that it uses an ontological database in the Cloud that will store concepts exchanged among interconnected IS and uses several transformation layers, integration, homogenization  ...  The MDA approach is the most suitable solution to our problem because it ensures a degree of independence between the logic the company's business and technology platform.  ...  This model is founded on a number of business process transformation layer BPMN towards the language BPEL using an ATL execution language by using an ontology database hosted in the Cloud. III.  ... 
doi:10.14569/ijacsa.2018.090436 fatcat:ulctklfnqjbjtfppvuwg3stoim

Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach

Lichen Zhang
2012 Journal of Software  
Finally, the model-based development and aspect-oriented approach, the formal methods and the cyber physical system are integrated effectively.  ...  OCL formal language is used to restrict the model in every stages of MDA, and the real-time extension of OCL formal language is made to describe the timing constraints of cyber physical systems.  ...  OCL has the characteristics of an expression language, a modeling language and a formal language.  ... 
doi:10.4304/jsw.7.3.608-619 fatcat:u7tsi5jpnfb37pn5xc5simd5mm

Layered Ontological Modelling for Web Service-Oriented Model-Driven Architecture [chapter]

Claus Pahl
2005 Lecture Notes in Computer Science  
Modelling is recognised as an essential activity in the architectural design of software systems. Model-driven architecture (MDA) is a framework implementing this idea.  ...  We propose here a layered ontological framework that addresses domain modelling, architectural modelling, and interoperability aspects in the development of service-based software systems.  ...  We have devised a graph-based transformation centred around the service and process elements; see [29] for more details.  ... 
doi:10.1007/11581741_8 fatcat:phitrjivxne7pcufnngw6jh3ym

Integration of Reliability and Performance Analyses for Active Network Services

María del Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez
2005 Electronical Notes in Theoretical Computer Science  
Our proposal takes advantages of recent work on model-driven architecture (mda) and xml for automating tool construction.  ...  In the paper, we explore an alternative approach to keep the specification of different aspects to be analyzed consistent.  ...  One alternative approach to keep the piece of formal descriptions consistent and to avoid implementing new algorithms or adding complexity to the languages is the tool integration approach.  ... 
doi:10.1016/j.entcs.2004.08.066 fatcat:pm4dddq5irc3jh44n2mqa33rgu

Model-driven systems engineering for netcentric system of systems with DEVS unified process

Saurabh Mittal, Jose Luis Risco Martin
2013 2013 Winter Simulations Conference (WSC)  
While all these approaches build a specific type of system, the usage of MBSE to deliver the complete solution is not unified, and is largely undertaken by graphical languages like the Unified Modeling  ...  Language (UML) and Systems Modeling Language (SysML), both of which lack mathematical rigor.  ...  MIC: MIC (Model Integrated Computing) refines the MDD approaches and provides an open integration framework to support formal analysis tools, verification techniques and model transformations in the development  ... 
doi:10.1109/wsc.2013.6721503 dblp:conf/wsc/MittalR13 fatcat:7kwuovd7rfc3vmyb7hw5363gu4

Methodological Aspects of Semantics Enrichment in Model Driven Architecture

M. Diouf, K. Musumbu, S. Maabout
2008 2008 Third International Conference on Internet and Web Applications and Services  
An ontology defines the terms used to describe and represent an area of knowledge.  ...  The Semantic Web is a vision for the future of the Web in which information is given explicit meaning, making it easier for machines to automatically process and integrate information available on the  ...  Adding semantics on conceptual models will open an exciting and interesting domain of application like information merge. Figure 1 : 1 Global view of the Model Driven Architecture approach [?].  ... 
doi:10.1109/iciw.2008.34 dblp:conf/iciw/DioufMM08 fatcat:qs23clgz3jeiboxnsmj22i3yta

Semantic model-driven architecting of service-based software systems

Claus Pahl
2007 Information and Software Technology  
Integrated ontological layers support abstract domain modelling, architectural design, and interoperability aspects.  ...  Ontologies are beneficial due to their potential to formally define models, to allow reasoning about semantic models, and to automate transformations at all layers.  ...  We have presented an integrated, layered semantic service modelling and transformation framework.  ... 
doi:10.1016/j.infsof.2006.09.007 fatcat:7krq6cio7vg3rdrt42pb7azmqm

Composition Languages [chapter]

Markus Lumpe, Jean-Guy Schneider, Bastiaan Schönhage, Thomas Genssler
2002 Lecture Notes in Computer Science  
This report gives an overview of the Third International Workshop on Composition Languages (WCL 2003).  ...  It explains the motivation for a third workshop on this topic and summarizes the presentations and discussions.  ...  Acknowledgments We would like to thank all workshop attendees for their insights and useful comments as well as the local ECOOP organizers for their support.  ... 
doi:10.1007/3-540-36208-8_9 fatcat:h5afufchcngpzh2m4fe67vrim4

Defining a Reference Architecture for Transformed Health Ecosystems [chapter]

Bernd Blobel, Kenneth Rubin
2021 Studies in Health Technology and Informatics  
their formal representation/modelling from the perspectives of systems theory, theory of knowledge, languages and grammars are considered in some detail.  ...  As result, the ISO 23903 reference architecture is shortly introduced and compared with other existing approaches and standards.  ...  An overview on those approaches and their unified representation for integration acc. to ISO 23903 can be found in [13] .  ... 
doi:10.3233/shti210137 pmid:34042722 fatcat:idpyiqrejna2jhwrqrhkwhf3aq

Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development [chapter]

Aram Hovsepyan, Stefan Van Baelen, Bert Vanhooff, Wouter Joosen, Yolande Berbers
2006 Lecture Notes in Computer Science  
We discuss different modeling framework approaches used to specify the various models, and compare OMG/MDA-based approaches (MOF, UML Profiles and executable UML) with a generic MDD-based approach (GME  ...  These challenges are mainly situated in the field of modeling and standardization of abstraction levels, model transformations and code generation, traceability, and integration of existing software within  ...  MDD Approaches This section compares the different approaches towards an MDD modeling framework and application model specifications at different levels of abstraction.  ... 
doi:10.1007/11796435_7 fatcat:prthm3gtcvbztipiakjahzeeei

Semantic Equations for Formal Models in the Model-Driven Architecture [chapter]

Paulo Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antônio Junior
2010 IFIP Advances in Information and Communication Technology  
In this paper, we propose an approach to incorporate semantic equations described by model transformations in the MDA infrastructure.  ...  In a previous work, we have extended the Model-Driven Architecture (MDA) four-layer proposal of architecture in order to incorporate formal semantics to its artifacts.  ...  using Petri nets models), funded by FCT -Fundação para a Ciência e a Tecnologia (Portugal) and CAPES -Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Brazil) (http://www.uninova.pt/~mda-veritas  ... 
doi:10.1007/978-3-642-11628-5_27 fatcat:yoa3tzmgm5gsplvpqs7hhovgyu
« Previous Showing results 1 — 15 out of 3,644 results