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.
Filters
Semantic framework for DSLs
2009
Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09
Preserved Fulltext
This research is focused on a visual technique based on activity diagrams and graph transformation rules to define the semantics of DSLs. ...
To define programs using domain concepts, rather than programming language concepts, model-based syntax and semantic specification techniques may offer advantages over current approaches. ...
APPROACH AND METHODOLOGY Existing approaches for defining the formal semantics of programming languages can be used to specify the semantics of DSLs. ...
doi:10.1145/1639950.1640037
dblp:conf/oopsla/Demirezen09
fatcat:v7rvwsfjvfclnf3rubjip37jme
Role of Model Transformation in Method Engineering
[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.
We use Class Diagram to define the meta models, and the models following the meta model can be represented with instance graphs. Thus our model transformation is based on graph grammars. ...
We use two examples; one is a method assembly of Class Diagram and Z and the other one is defining formal semantics of the meta model of Class Diagram. ...
Section 2 sketches the transformation technique based on graph grammars, which we have used in this paper. ...
doi:10.1007/3-540-47961-9_43
fatcat:7br6hgiutja35esqj4wgyhxt6a
What Algebraic Graph Transformations Can Do For Model Transformations
2010
Electronic Communications of the EASST
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.
This paper focusses on the use of algebraic graph transformation concepts to specify and verify model transformations in MDD. ...
Model transformations are key activities in model-driven development (MDD). A number of model transformation approaches have emerged for different purposes and with different backgrounds. ...
Graph transformation is a rule-based technique which can be a great advantage for using them to specify model transformations. ...
doi:10.14279/tuj.eceasst.30.438
dblp:journals/eceasst/Taentzer10
fatcat:n5xvdor3u5e57cqo43ivbws3uu
Formal Support for Model Driven Development with Graph Transformation Techniques
2005
Desarrollo de Software Dirigido por Modelos
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 2022; you can also visit the original URL.
The file type is application/pdf.
As models can be formally described as attributed, typed graphs, we can use formal graph transformation techniques for their manipulation. ...
We use the tool to introduce an example in the component-based modelling and simulation area. ...
In this way, if one specifies an inter-formalism model transformation using rules, inverting LHS and RHS one gets a translator from the target formalism to the source formalism. ...
dblp:conf/dsdm/LaraG05
fatcat:bwmxvuw72jdp3oyxwkey4jucw4
Measuring Model Transformation in Model Driven Development
2007
International Conference on Advanced Information Systems Engineering
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.
In this paper, we propose the technique to define the metrics of model transformation using a meta-modeling technique and a graph rewriting techniques in a Model Driven Development (MDD) context. ...
We can summarize the approaches that we adopt as follows; 1) Using a meta modeling technique to specify model-specific metrics and 2) Using a graph rewriting system to formalize model transformation, whose ...
The quality of a transformation can be formally specified by using this approach. ...
dblp:conf/caise/SaekiK07
fatcat:jva3xqbq55egrlgkp3dngwnfvy
On the use of Triple Graph Grammars for Model Composition
2020
Advances in Science, Technology and Engineering Systems
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.
Each composition action is represented by one or many graph transformations rules. The composition operator's syntax is specified with triple graph grammars (TGGs) formalism. ...
The present work, introduces a formal approach for UML-compliant model composition focused on threeactions: matching, checking and merging. ...
Section 3 exposes a formalism based on graph theory, in order to define the concepts of models and their relationships. ...
doi:10.25046/aj050281
fatcat:42y7jlu2mfb7hbgwdzwakfnvqm
Analysis of Aspect-Oriented Model Weaving
[chapter]
2009
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.
The activities and their composition are formalized using the theory of graph transformation systems, which provides analysis support for detecting potential conflicts and dependencies between rule-based ...
We propose an approach for analyzing interactions and potential inconsistencies at the level of requirements modeling. We use a variant of UML to model requirements in a use-case driven approach. ...
Conditions over model instances are specified using OCL [12] . It is up to future work to analyze aspect interaction on the basis of OCL. ...
doi:10.1007/978-3-642-02059-9_7
fatcat:exy5a4xsg5f6fkcmx5obqaw4om
Verification of DSMLs using graph transformation
2009
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09
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 2016; you can also visit the original URL.
The file type is application/pdf.
Many Model-Driven Engineering (MDE) platforms primarily concentrate on structural aspects of DSMLs and only provide techniques to define abstract and concrete syntax. ...
Domain-Specific Modeling Languages (DSMLs) enable domain experts to participate in software development tasks and to specify their own programs using domain abstractions. ...
Graph grammars [6] provide visual rules to specify in-place transformations based on precondition and postcondition steps. ...
doi:10.1145/1656485.1656488
fatcat:6wvuft3gsffjnod64za5ce57ou
From Graph Transformation to Software Engineering and Back
[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 2009; you can also visit the original URL.
The file type is application/pdf.
These notations are often semi-formal, but the use of graph transformation techniques can support reasoning about graphs in many ways, and thus can largely enhance them. ...
Software engineers usually represent problems and solutions using graph-based notations at different levels of abstractions. ...
The pairing of graph transformation and model checking techniques is proposed by Varrò [29] . ...
doi:10.1007/978-3-540-31847-7_2
fatcat:o56zvmn5rrdzjc3rlzqmy3lkom
Verifying Cloud Systems using a Bigraphical Maude-based Model Checker
english
2014
Proceedings of the International Workshop on Emerging Software as a Service and Analytics
english
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.
Formal methods are system design techniques based on rigorous mathematical models to build software systems. ...
Hence, we define a formal semantic framework, based on Bigraphical Reactive Systems (BRS), for specifying cloud architectures and their shape shifting to ensure service availability and quick scalability ...
[7] , propose Enterprise Topology Graphs (ETG) as formal model to describe an enterprise topology. Based on the established graph theory, ETG bring formalization and provability to the cloud. ...
doi:10.5220/0004978800030012
dblp:conf/closer/BenzadriBB14
fatcat:wccmo5b6s5bl3emnllgbazsvkq
Timed Verification of Machine-to-Machine communications
2014
Procedia 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.
Based on the defined formal model, we provide a model checking based techniques to validate time requirements for data exchange delays. ...
Then, we introduce a formal graph based model to specify Publish/ Subscribe communications associated to time related requirements. ...
Based on the defined formal model, we provide a model checking based techniques to validate time requirements for data exchange delays. ...
doi:10.1016/j.procs.2014.05.535
fatcat:pgqa2fhu2rf7xckncsiaxukdpi
Interaction Analysis in Aspect-Oriented Models
2006
14th IEEE International Requirements Engineering Conference (RE'06)
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.
The activities and their composition are formalized using the theory of graph transformation systems, which provides analysis support for detecting potential conflicts and dependencies between rule-based ...
We propose an approach for analyzing interactions and potential inconsistencies at the level of requirements modeling. We use a variant of UML to model requirements in a use case driven approach. ...
The rule-based paradigm of graph transformation can be used as a formal model for behavior specifications with pre-and postconditions. ...
doi:10.1109/re.2006.35
dblp:conf/re/MehnerMT06
fatcat:urjw42rumrgahhzhk5xvcuuacm
Structural Validation Of Software Product Line Variants: A Graph Transformations Based Approach
2018
Zenodo
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.
We first introduce the necessary meta-models. Then, we present the used graph grammars to perform automatically this task using the AToM3 tool. ...
A software product line is usually modeled with a feature diagram, describing the set of features and specifying the constraints and relationships between these features. ...
In the field of graph transformation, the meta-modeling technique is widely used to describe the different kinds of formalisms needed in the specification and design of systems. ...
doi:10.5281/zenodo.1401551
fatcat:sdz2qo5ikfac7nmuqnj53as6xu
Challenges and directions in formalizing the semantics of modeling languages
2011
Computer Science and Information Systems
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 paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools. ...
Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. ...
Advanced Research Project Agency: the Evolutionary Design of Complex Systems and Model-based Integration of Embedded Systems, by the National Science Foundation"s ITR program, by Boeing and General Motors ...
doi:10.2298/csis110114012b
fatcat:qnaldl2gzrbr5irholqq5asiqi
An Approach for Interoperability Requirements Specification and Verification
[chapter]
2011
Lecture Notes in Business Information Processing
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.
This paper focuses and illustrates how interoperability requirements related to the static and dynamic aspects of the collaboration may be formalized and verified by the use of a formal verification technique ...
This research work aims to define, to formalize and to analyze a set of interoperability requirements that each partner of a collaborative process have to satisfy prior to any collaboration. ...
On the other side, formal verification techniques allow to explore exhaustively a formal model i.e. a model obtained with a modeling language using a formal semantic. ...
doi:10.1007/978-3-642-19680-5_9
fatcat:w374fnwq2vfbjbka63n5i3heoe
« Previous
Showing results 1 — 15 out of 208,290 results