909 Hits in 8.4 sec

Towards Graph Transformation Based Generation of Visual Editors Using Eclipse

Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer
2005 Electronical Notes in Theoretical Computer Science  
Due to existing shortcomings in both approaches, we present a combined approach for a tool environment that allows to generate a GEF-based editor from a formal, graph-transformation based visual language  ...  specification.  ...  model conversions from one modeling language to another (e.g. from function block diagrams to Petri nets in order to perform Petri net based analyis of the model).  ... 
doi:10.1016/j.entcs.2004.08.051 fatcat:daxz4zqbirabbpog7uqbxbhoha

Mapping AADL to Petri Net Tool-Sets Using PNML Framework

Hassan Reza, Amrita Chatterjee
2014 Journal of Software Engineering and Applications  
Toward this goal, we exploit Petri Net Markup Language (PNML), which is a standard acting as the intermediate language between different classes of Petri Nets.  ...  The justification for using PNML is that the framework provides a context in which interoperability and exchangeability among different models of a system specified by different types of Petri nets is  ...  The Petri Net Markup Language (PNML) is Extensible Markup Language-based meta-language allowing interoperability and exchangeability among different class of Petri Nets [9] - [13] [26] [27] .  ... 
doi:10.4236/jsea.2014.711082 fatcat:bhf3lbzyafhohomuuordhyzyue

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.  ...  Then we manipulate Petri nets and LTL formulae within the Tina 9 toolkit. TINA (TIme Petri Net Analyser) is a software environment to edit and analyse Petri nets and timed nets [3] .  ... 
doi:10.1007/978-3-540-88710-2_23 fatcat:vv7ru5jfcjbxjeqo2wmy2xnpie

UAREI: A model for formal description and visual representation /software gamification

Darius Aseriskis, Tomas Blazauskas, Robertas Damasevicius
2017 Dyna  
Machinations graphical diagrams are an abstraction of Petri nets for modelling and simulating games and game-like systems on a varying level of abstraction.  ...  [24] model games using Petri nets. The disadvantage of this approach is the lack of domain specificity which is preventing its adoption by game designers.  ... 
doi:10.15446/dyna.v84n200.54017 fatcat:gcudzur7irg5pcpck4ll2pvk6a

UPGRADE: A Framework for Building Graph-Based Interactive Tools

B. Böhlen, D. Jäger, A. Schleicher, B. Westfechtel
2002 Electronical Notes in Theoretical Computer Science  
It is based on attributed graphs as its internal data model. At the user interface (external representation), graphs can be rendered in multiple ways, including graphics, trees, text and tables.  ...  Construction of interactive tools for visual languages is a challenging task. The UPGRADE framework leverages tool builders by integrating application logic and GUI components.  ...  Often, the term meta-CASE tool is used for tools dealing with graphical languages. At the logical level, a language is typically defined in terms of a graph-like or ER data model.  ... 
doi:10.1016/s1571-0661(05)80535-3 fatcat:xuc5eecbfrej7bxsrnfdjclwta

A domain-specific language for modeling method definition: From requirements to grammar

Niksa Visic, Hans-Georg Fill, Robert Andrei Buchmann, Dimitris Karagiannis
2015 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)  
We propose an initial draft of such a languageone that abstracts away from meta-modeling platforms by establishing a meta 2 layer of abstraction where a modeling method can be defined in a declarative  ...  It is quite common that such modeling methods are domain-specific, in the sense that they provide concepts from the domain as "first-class modeling citizens".  ...  "Meta-modeling Platform" [1] is a term used to describe an environment specifically targeting the development of graphical modeling languages and modeling methods using a meta-modeling approach -a layered  ... 
doi:10.1109/rcis.2015.7128889 dblp:conf/rcis/VisicFBK15 fatcat:qjs666wy3bhfneom2v2r6vkbqu

An evaluation of conceptual business process modelling languages

Beate List, Birgit Korherr
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
To bridge this gap, we propose a generic meta-model that captures a wide range of process concepts and evaluate seven BPMLs based on this meta-model.  ...  Although a lot of BPMLs are available in research and industry, an established evaluation framework as well as a comprehensive evaluation of BPMLs is missing.  ...  Petri Net: A Petri Net [17] is designed for modelling, analysis and simulation of dynamic systems with concurrent and nondeterministic procedures. Petri Nets are utilised for modelling workflows.  ... 
doi:10.1145/1141277.1141633 dblp:conf/sac/ListK06 fatcat:gfmzyindz5difhegsgk7xasmkm

Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems

Kjeld Høyer Mortensen
1997 DAIMI Report Series  
Similar graphical formal methods, such as SDL and Statecharts, typically have significantly more complicated semantics, or are domain-specific languages.  ...  The graphics and simplicity of semantics, yet generality and expressiveness of the language constructs, essentially makes CP-nets a viable and attractive alternative to other formal methods.  ...  The PEP system Programming environment based on Petri Nets 38 i s a larger environment for the development and veri cation of parallel systems.  ... 
doi:10.7146/dpb.v26i522.7051 fatcat:m5hb5hispbfl3f6inhyo6dacpe

Transformation techniques can make students excited about formal methods

P. Van Gorp, H. Schippers, S. Demeyer, D. Janssens
2008 Information and Software Technology  
weaknesses of formal methods within the time constraints of a typical semester course.  ...  This article 1 reports on a new course at the University of Antwerp in which the introduction of a new formalism yields a better understanding of previously taught ones.  ...  Acknowledgements This work has been sponsored by the Research Foundation Flanders (FWO) under grant "Formal Support for the Transformation of Software Models".  ... 
doi:10.1016/j.infsof.2008.03.003 fatcat:yk4pmbmqtjb7bezfepgzqtegum

Cooperative information systems engineering [chapter]

Matthias Jarke, Manfred A. Jeusfeld, Peter Peters, Peter Szczurko
1996 Lecture Notes in Computer Science  
Specific meta models and supporting environments are presented for : cooperative business process modeling in distributed organizations; simulation analysis of shortterm and long-term effects of information  ...  These experiences emphasize the role of meta models in focusing the change process.  ...  We developed a definition language for simulation techniques by which simulation languages like SD, Queueing Systems, or Petri-Nets can be modelled and connected.  ... 
doi:10.1007/3-540-61286-6_129 fatcat:mabyfppmgjdsdhd3dvesk36p44

Model-driven Engineering Tools and Languages for Cyber-physical Systems -A Systematic Literature Review

Mustafa Abshir Mohamed, Geylani Kardas, Moharram Challenger
2021 IEEE Access  
Moharram Challenger and Geylani Kardas would like to thank the European Cooperation in Science & Technology COST Action networking mechanisms and support of COST Action IC1404: Multi-Paradigm Modelling  ...  In [153] , a modeling approach based on discrete/continuous Petri nets was proposed for schedulability analysis.  ...  In the work presented in [132] , colored Petri nets were extended to probabilistic colored Petri nets for modeling and analyzing CPS attacks.  ... 
doi:10.1109/access.2021.3068358 fatcat:7daa32lsgjagdkbryifoqjddra

Hypergraph Application on Business Process Performance

Khawla Bouafia, Bálint Molnár
2021 Information  
The modeling of the graphical representation of business processes (BP) or workflows in enterprise information systems (IS) is often to represent various activities, entities, relations, functions, and  ...  We have investigated the various descriptive languages and representation models of BP as process modeling, workflow and process integration, and object-oriented (OO) languages.  ...  Multi-agent-systems based on coloured Petri nets.  ... 
doi:10.3390/info12090370 fatcat:kyjrlhfj25gdnogtioxk3fwc4e

Composing domain-specific design environments

A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, G. Karsai
2001 Computer  
To be useful, a reusable framework for creating domain-specific design environments must support a Model-integrated computing can help compose domain-specific design environments rapidly and cost-effectively  ...  The authors discuss the toolset that implements MIC and present a practical application of the technologya tool environment for the process industry.  ...  We also thank Frank DeCaria, who provided invaluable domain knowledge, and Jason Garrett, who was the primary implementer in the AMT project.  ... 
doi:10.1109/2.963443 fatcat:uu4qcvsj35brhnjwh6wbcssnpa

Introducing formal specification methods in industrial practice

Luciano Baresi, Alessandro Orso, Mauro Pezzè
1997 Proceedings of the 19th international conference on Software engineering - ICSE '97  
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools.  ...  This paper presents an original solution based on formalisms to define mappings from front-end notations to formal models.  ...  The semantics can be given in terms of operational formal "graphical" models, e.g., Petri nets, communicating finite state machines, task interaction graphs.  ... 
doi:10.1145/253228.253241 dblp:conf/icse/BaresiOP97 fatcat:strtbdqnmrespgfbwbh57z5xba

Formal modelling, knowledge representation and reasoning for design and development of user-centric pervasive software: a meta-review

Ahmet Soylu, Patrick De Causmaecker, Davy Preuveneers, Yolande Berbers, Piet Desmet
2011 International Journal of Metadata, Semantics and Ontologies  
An amalgamation of model driven development and ontologies has been envisaged as a promising direction in recent literature.  ...  The core contribution of this paper lies in providing an elaborate and exploratory discussion of the problem and solution spaces along with a multidisciplinary meta-review and identification of complementary  ...  Acknowledgements This paper is based on research funded by the Industrial Research Fund (IOF) and conducted within the IOF knowledge platform "Harnessing collective intelligence to make e-learning environments  ... 
doi:10.1504/ijmso.2011.046595 fatcat:y4u2l35hfzfxni2ggu3osdabsi
« Previous Showing results 1 — 15 out of 909 results