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
Integrating Formal Methods with Model-Driven Engineering
2009
2009 Fourth International Conference on Software Engineering Advances
Preserved Fulltext
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]
2008
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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
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 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 47th Hawaii International Conference on System Sciences
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 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
2012
Proceedings of the 2012 workshop on Domain-specific modeling - DSM '12
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.
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
http://www.omg.org/spec/FUML ...
doi:10.1145/2420918.2420920
fatcat:tqdnj6kotvbztkeanbbwa55um4
Interoperable Petri net models via ontology
2007
International Journal of Web Engineering and 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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
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.
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]
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 2017; you can also visit the original URL.
The file type is application/pdf.
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]
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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 Winter Simulation Conference
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 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]
2013
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.
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
http://www.omg.org/spec/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]
1999
Distributed and Parallel Embedded 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.
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]
2013
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 2018; you can also visit the original URL.
The file type is application/pdf.
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
2004
Simulation (San Diego, Calif.)
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 2006; you can also visit the original URL.
The file type is application/pdf.
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
2008
Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08
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.
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