208,290 Hits in 5.8 sec

Semantic framework for DSLs

Zekai Demirezen
2009 Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09  
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]

Motoshi Saeki
2002 Lecture Notes in Computer Science  
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

Gabriele Taentzer
2010 Electronic Communications of the EASST  
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

Juan de Lara, Esther Guerra
2005 Desarrollo de Software Dirigido por Modelos  
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

Motoshi Saeki, Haruhiko Kaiya
2007 International Conference on Advanced Information Systems Engineering  
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

Hatime Bencharqui, Younes Moubachir, Adil Anwar
2020 Advances in Science, Technology and Engineering Systems  
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]

Katharina Mehner, Mattia Monga, Gabriele Taentzer
2009 Lecture Notes in Computer Science  
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

Zekai Demirezen, Marjan Mernik, Jeff Gray, Barrett Bryant
2009 Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09  
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]

Luciano Baresi, Mauro Pezzè
2005 Lecture Notes in Computer Science  
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

Zakaria Benzadri, Chafia Bouanaka, Faïza Belala
2014 Proceedings of the International Workshop on Emerging Software as a Service and Analytics  
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

Ghada Gharbi, Nawal Guermouche, Thierry Monteil
2014 Procedia Computer Science  
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

K. Mehner, M. Monga, G. Taentzer
2006 14th IEEE International Requirements Engineering Conference (RE'06)  
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

Allaoua Chaoui Khaled Khalfaoui
2018 Zenodo  
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

Barrett Bryant, Jeff Gray, Marjan Mernik, Peter Clarke, Robert France, Gabor Karsai
2011 Computer Science and Information Systems  
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]

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat
2011 Lecture Notes in Business Information Processing  
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