A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
An MDA Approach Towards Integrating Formal and Informal Modeling Languages
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
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
2007
Proceedings of the 2007 international conference on Computer systems and technologies - CompSysTech '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
BT technology journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
, 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
2016
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 Winter Simulations Conference (WSC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 Third International Conference on Internet and Web Applications and Services
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2007
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2021
Studies in Health Technology and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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