3,858 Hits in 4.5 sec

Integrating Formal Methods with Model-Driven Engineering

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009 2009 Fourth International Conference on Software Engineering Advances  
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development.  ...  We discuss the feasibility of unifying these two separate worlds, referring to our experience on integrating the Abstract State Machine formal method with the Eclipse Modeling Framework supporting MDE  ...  By exploiting the semantic framework in [4] , we defined in [28] the semantics of the AVALLA language of the AsmetaV validator, a domain-specific modeling language for scenario-based validation of ASM  ... 
doi:10.1109/icsea.2009.22 dblp:conf/icsea/GargantiniRS09 fatcat:u37ur6iy7baw3pmhorwac2ieue

A Property-Driven Approach to Formal Verification of Process Models [chapter]

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, Francois Vernadat
2008 Lecture Notes in Business Information Processing  
More and more, models, through Domain Specific Languages (DSL), tend to be the solution to define complex systems.  ...  We specify a models transformation to Petri Nets and LTL formulae for both the process model and its associated temporal properties.  ...  A model transformation to Petri nets is given and allows to apply model checking on an observational abstraction of the trace semantics of the given model with respect to the properties.  ... 
doi:10.1007/978-3-540-88710-2_23 fatcat:vv7ru5jfcjbxjeqo2wmy2xnpie

A Method Towards Modelling and Analysis of Semantically-Enriched Reconfigurable Manufacturing Systems [chapter]

Damiano Nunzio Arena, Dimitris Kiritsis
2016 IFIP Advances in Information and Communication Technology  
The key feature of this approach resides with the integration of Semantic Techniques and Colored Petri Nets.  ...  Petri nets are used to model the Manufacturing System while ontologies are exploited to achieve system interoperability, integration and reusability through semantics.  ... 
doi:10.1007/978-3-319-51133-7_6 fatcat:psftsknxxbe5nokl22xduledlm

Formal Aspects of Enterprise Modeling Methods: A Comparison Framework

Domenik Bork, Hans-Georg Fill
2014 2014 47th Hawaii International Conference on System Sciences  
The resulting models also provide value through acting as knowledge bases themselves.  ...  Thereby, the formalization of modeling methods is essential to unambiguously define their structure, behavior, and semantics, and enable an intersubjective understanding and machine-processability.  ...  The procedure models are based on high-level Petri nets, which are extended to a Horus specific variant denoted as XML nets.  ... 
doi:10.1109/hicss.2014.422 dblp:conf/hicss/BorkF14 fatcat:gmprefzzrvfpli3w5zqy5aheum

Towards xMOF

Tanja Mayerhofer, Philip Langer, Manuel Wimmer
2012 Proceedings of the 2012 workshop on Domain-specific modeling - DSM '12  
When defining a domain-specific modeling language (DSML), the two key components that have to be specified are its syntax and semantics.  ...  To overcome this limitation, we propose to integrate fUML with MOF to enable the specification of the behavioral semantics for DSMLs in terms of fUML activities.  ...  Figure 2 . 2 Metamodel of Petri Net DSML Figure 3 . 3 Semantics specification of Petri Net DSML using fUML  ... 
doi:10.1145/2420918.2420920 fatcat:tqdnj6kotvbztkeanbbwa55um4

Interoperable Petri net models via ontology

Dragan Gasevic, Vladan Devedzic
2007 International Journal of Web Engineering and Technology  
DaNAMiCS, Petri Net Kernel, PIPE) using eXtensible Stylesheet Language Transformations (XSLT).  ...  His current research interests are in the area of ontology development, Semantic Web, XML-based interoperability, integration between software engineering and knowledge engineering techniques, learning  ...  Each Web page contains a graphical presentation of adequate Petri net model (based on RDF annotated SVG) and provides support for simulation with that model (using Web service for Petri net simulation)  ... 
doi:10.1504/ijwet.2007.014439 fatcat:cm2c2rgumnd63hetvefu6sz7we

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  
For instance, we claim that in the scenario of model transformations involving concurrent models described using Petri nets, semantic concepts can be more easily and appropriately handled in the MDA architecture  ...  Semantic equations are important pieces of the denotational semantics approach that enable the translation of syntactic constructs of models to semantic domains.  ...  This work was partially supported by the collaborative project Verificação Semântica em Transformações MDA Envolvendo Modelos de Redes de Petri (MDA-VERITAS -Semantic Verification in MDA Transformation  ... 
doi:10.1007/978-3-642-11628-5_27 fatcat:yoa3tzmgm5gsplvpqs7hhovgyu

Next Generation of Modelling Platforms [chapter]

Dimitris Karagiannis, Niksa Visic
2011 Lecture Notes in Business Information Processing  
area 1  Operational Semantics  The basic interest is on the "execution" of models based on an abstract machine  Eg., Interpreter for Petri-Nets or Statecharts  Denotational Semantics  The denotation  ...  is expressed through a mapping of syntactic constructs to constructs of a commonly accepted domain that is assumed to be well understood  Eg., Control-Flow of BPEL denoted in terms of Petri-Nets Business  ... 
doi:10.1007/978-3-642-24511-4_2 fatcat:rsrdiol5ezfqpgu3ysrrsqef74

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models [chapter]

Dániel Varró, András Pataricza
2002 Lecture Notes in Computer Science  
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration  ...  of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a wellfounded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process  ...  Acknowledgments We would like to thank Gergely Varró, John Rushby and many of his colleagues at SRI International for their valuable comments.  ... 
doi:10.1007/3-540-45800-x_3 fatcat:2vhfv2fc55dvrmoc7yojy3d55e

Toward on-demand wafer fab simulation using formal structure & behavior models

Edward Huang, Ky Sang Kwon, Leon McGinnis
2008 2008 Winter Simulation Conference  
The method for achieving this combines formal fab descriptive models with a process for generating fab analysis models from relatively standard sources of fab data. 2341 978-1-4244-2708-6/08/$25.00  ...  Contemporary factories in capital intensive industries such as semiconductor manufacturing are very complex, with many sources of risk.  ...  Both the conceptual model and its realization are based on a formal language (in our case, on OMG SysML) and the use of the language to define specific semantics for the wafer fab domain.  ... 
doi:10.1109/wsc.2008.4736340 dblp:conf/wsc/HuangKM08 fatcat:6msrlmmnu5crrg3msw3uz7fjmi

xMOF: Executable DSMLs Based on fUML [chapter]

Tanja Mayerhofer, Philip Langer, Manuel Wimmer, Gerti Kappel
2013 Lecture Notes in Computer Science  
When defining a domain-specific modeling language (DSML), the two key components that have to be specified are its syntax and semantics.  ...  To overcome this limitation, we propose to integrate fUML with MOF to enable the specification of the behavioral semantics for DSMLs in terms of fUML activities.  ...  Figure 2 : 2 Metamodel of Petri Net DSML Figure 3 : 3 Semantics specification of Petri Net DSML using fUML  ... 
doi:10.1007/978-3-319-02654-1_4 fatcat:jyqgx2zgg5et5gv7pv5cmdazfi

Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems [chapter]

Jürgen Tacken
1999 Distributed and Parallel Embedded Systems  
Based on this graphical abstraction a domain specific representation of the internal model is possible.  ...  During the specification and modeling phase of the design flow it allows the use of several domain-specific modeling languages.  ... 
doi:10.1007/978-0-387-35570-2_4 fatcat:inji7ovkuvakda7blr2lpmac4y

A Transformation-Driven Approach to Automate Feedback Verification Results [chapter]

Faiez Zalila, Xavier Crégut, Marc Pantel
2013 Lecture Notes in Computer Science  
In this purpose, the most common approach consists in defining a translational semantics mapping the abstract syntax of the designer dedicated Domain-Specific Modeling Language (DSML) to a formal verification  ...  The integration of formal verification methods in modeling activities is a key issue to ensure the correctness of complex system design models.  ...  This approach has been designed for domain specific languages.  ... 
doi:10.1007/978-3-642-41366-7_23 fatcat:nlyexcyapjbtxo4gnxwq36ylvq

Computer Automated Multi-Paradigm Modeling: An Introduction

Pieter J. Mosterman, Hans Vangheluwe
2004 Simulation (San Diego, Calif.)  
Modeling and simulation are quickly becoming the primary enablers for complex system design.  ...  This article presents an overview of the CAMPaM field and shows how transformations assume a central place. These transformation are, in turn, explicitly modeled themselves by graph grammars.  ...  Acknowledgments The authors wish to acknowledge extensive discussions on the topic of CAMPaM with Juan de Lara. Prof.  ... 
doi:10.1177/0037549704050532 fatcat:c66dm3zyovfejd6v2rsbu54yhm

Prototyping domain-specific language semantics

Daniel A. Sadilek
2008 Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08  
Domain-specific languages (DSLs) need semantics. For an external, executable, metamodel-based DSL, this can be done in an operational or a translational way.  ...  Equivalence of operational semantics described with different languages can be tested by comparing execution traces.  ...  DSLs use concepts of and a notation established in a specific domain.  ... 
doi:10.1145/1449814.1449896 dblp:conf/oopsla/Sadilek08 fatcat:a63otydmtjfu7g4gcjvjz4hupi
« Previous Showing results 1 — 15 out of 3,858 results