271 Hits in 5.5 sec

Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism

Amel Dembri, Mohammed Redjimi
2019 International Journal of Information Technology and Computer Science  
The Agent Petri Nets (APN) formalism provides a set of adapted and specific tools, relations and functions for modeling multi-agent systems (MAS).  ...  However, there is a lack of tools for verifying the APN models. In order to fill some of these gaps, we propose in this paper, a meta-modeling approach based on the Model Driven Architecture (MDA).  ...  For its part, Renew (Reference Net workshop) [30] is a platform that allows to develop and model the systems described in Reference nets (Object Petri Nets).  ... 
doi:10.5815/ijitcs.2019.06.06 fatcat:7ndh5r7y4rhstjiezldvey6ngm

Pervasive Service Creation using a Model Driven Petri Net Based Approach

Achilleas Achilleos, Kun Yang, Nektarios Georgalas, Manooch Azmoodech
2008 2008 International Wireless Communications and Mobile Computing Conference  
To achieve this, our approach integrates model-driven architecture (MDA) with Petri Nets (PN).  ...  Concluding the methodology is applied in practice for the creation of a Flight Itinerary booking service.  ...  ACKNOWLEDGEMENT The work presented in this paper is partly supported by British Telecom under the MOSE project and the UK Engineering and Physical Sciences Research Council (EPSRC) under project PANDA.  ... 
doi:10.1109/iwcmc.2008.54 fatcat:uzutqtwnb5c5bm6saet4zjjfjq

A Framework for Dynamic Validation of Context-Aware Applications

Achilleas P. Achilleos, Georgia M. Kapitsaki, George A. Papadopoulos
2012 2012 IEEE 15th International Conference on Computational Science and Engineering  
This paper proposes a framework that combines the Model Driven Engineering paradigm with the Petri Nets formalism to support the development of context-aware applications.  ...  In contrast to existing context modelling approaches, the focus is on dynamic validation of context-aware applications using Petri Nets.  ...  In this work, a model-driven Petri Net based process and a development environment are defined that support the development of context-aware applications.  ... 
doi:10.1109/iccse.2012.79 dblp:conf/cse/AchilleosKP12 fatcat:o5eng4ad65fgtaluzgfnm3t6wi

Petri net ontology

Dragan Gašević, Vladan Devedžić
2006 Knowledge-Based Systems  
However, such efforts do not provide a suitable description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for implementing the ontology.  ...  Resulting Petri net models are represented on the Semantic Web using XML-based ontology languages, RDF and OWL.  ...  Petri net infrastructure for the Semantic Web (that uses ''PNML-based bus'' for model sharing): the Petri net ontology, current Petri net tools, P3 tool, Web-based applications, Petri net Web Service,  ... 
doi:10.1016/j.knosys.2005.12.003 fatcat:gdff5cogifedzcvg5dsxlezl7i

Modeling Organizational Structures and Agent Knowledge for Mulan Applications [chapter]

Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus
2014 Lecture Notes in Computer Science  
In particular, we combine ontology modeling and organization structure modeling in a way that we can easily generate the initial content of agent knowledge bases in the form of FIPA semantic language (  ...  We pursue a model-driven approach and a tight integration between various models on the one hand and between the models and the generated code on the other hand.  ...  All our Paose tools are realized as plugins for the highlevel Petri net tool Renew ( 2 They extend Renew with modeling techniques that are not based on Petri nets.  ... 
doi:10.1007/978-3-662-45730-6_4 fatcat:k3hudyhigrgzzlivf7w7rrku6i

Petri nets on the semantic web guidelines and infrastructure

Dragan Gasevic
2004 Computer Science and Information Systems  
This paper gives the Petri net ontology as the most important element in providing Petri net support for the Semantic Web.  ...  In order to show current Petri net model sharing features we use P3 tool that uses PNML/XSLT-based approach for model sharing.  ...  Introduction The main idea of this paper is to provide suitable way for Petri nets [1] to be used on the Semantic Web. That means, full semantic interoperability of Petri net models.  ... 
doi:10.2298/csis0402127g fatcat:3azqadvee5aoljsbjpvcukap7u

Simulation Based Design of Control Systems Using DEVS and Petri Nets [chapter]

Radek Kočí, Vladimír Janoušek
2009 Lecture Notes in Computer Science  
The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity.  ...  The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing  ...  This work was supported by the Czech Grant Agency under the contracts GA102/07/0322, GP102/07/P306, and Ministry of Education, Youth and Sports under the contract MSM 0021630528.  ... 
doi:10.1007/978-3-642-04772-5_109 fatcat:p6wka24m4baltgmrnhpulzv3ui

A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems

Fernando Pereira, Luis Gomes
2018 2018 IEEE 16th International Conference on Industrial Informatics (INDIN)  
based on graphical formalism combining Petri nets and dataflows.  ...  Development of the proposed protocol started on the IOPT-Tools framework, but the current version was implemented as part of the IOPT-Flow framework, aiming the development of distributed CPS applications  ...  ACKNOWLEDGMENT This work was partially financed by Portuguese Agency FCT -Fundação para a Ciência e Tecnologia, in the framework of project UID/EEA/00066/2013  ... 
doi:10.1109/indin.2018.8472084 dblp:conf/indin/Pereira018 fatcat:wo53dsolizamliqoun5ldapmra

Metamodelling with Datalog and Classes: ConceptBase at the Age of 21 [chapter]

Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nissen, Christoph Quix, Martin Staudt
2010 Lecture Notes in Computer Science  
Originally developed in the context of model-driven database design in the late 1980's, ConceptBase has been used in several thousand installations all over the world for numerous applications in areas  ...  A distinguishing feature of the Telos language underlying ConceptBase is the ability to manage rules and constraints across multiple levels of instantiation in so-called meta formulas, thus offering uniform  ...  the execution semantics of Petri nets.  ... 
doi:10.1007/978-3-642-14681-7_6 fatcat:n33me2mmxrbilh44a7qtbzz2hi

A Semantic Ontology-Based Approach to Support Model-Based Systems Engineering Design for an Aircraft Prognostic Health Management System

Jinwei Chen, Yifan Chen, Zhenchao Hu, Jinzhi Lu, Xiaochen Zheng, Huisheng Zhang, Dimitris Kiritsis
2022 Frontiers in Manufacturing Technology  
Based on the developed meta-model library, a complete MBSE design process for the aircraft PHM system is realized.  ...  Finally, an ontology based on semantic modeling is developed to describe the MBSE entities and to support MBSE design.  ...  A property is a binary relationship between SEMANTIC MODEL-BASED SYSTEMS ENGINEERING FOR PHM DEVELOPMENT 3.1 Semantic Modeling Framework for PHM Development The semantic modeling framework based on KARMA  ... 
doi:10.3389/fmtec.2022.886518 fatcat:dbqw7awm4fcvnnobkopq6274v4

Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment [chapter]

Sofiane Bendoukha
2014 Lecture Notes in Computer Science  
New modeling techniques and tools based on Petri net formalisms are provided.  ...  This dissertation contributes at different stages to enhance the development of Cloudbased applications with an emphasis on processes. Several contributions provided here concerns the modeling phase.  ...  Using high-level Petri nets for the operational semantics a plug-in is provided to generate reference net models directly from the AIPs.  ... 
doi:10.1007/978-3-319-06859-6_48 fatcat:bhimsecfh5fgxgmoff4iaaakt4

Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS

Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Nadia Hoggas
2021 Computing and informatics  
The verification approach used in this work is based on model checking techniques.  ...  Given the importance of business processes, the modeling analysis and validation stage for BPMN is essential.  ...  At the beginning, we defined a meta-model for the BPMN collaboration diagram; we have also developed an editor to construct collaboration diagrams based on the defined meta-model.  ... 
doi:10.31577/cai_2021_5_1080 fatcat:u4wxfryoubbg5p3xf56beoax2y

Business process modeling languages

Hafedh Mili, Guy Tremblay, Guitta Bou Jaoude, Éric Lefebvre, Lamia Elabed, Ghizlane El Boussaidi
2010 ACM Computing Surveys  
Requirements capture is arguably the most important step of software engineering and yet the most difficult and the least  ...  Petri nets have been developed by Carl Adam Petri, in the context of his doctoral dissertation, in 1962.  ...  The modeling framework was based on UML 1.4 and conformed to OMG's MDA development [OMG,2002] .  ... 
doi:10.1145/1824795.1824799 fatcat:wjaaltekrffnbhd3wloafppxde

Adaptive exception handling for scientific workflows

Rafael Tolosana-Calasanz, José A. Bañares, Omer F. Rana, Pedro Álvarez, Joaquín Ezpeleta, Andreas Hoheisel
2009 Concurrency and Computation  
two exception handling patterns which are exclusively based on the Reference Nets-within-Nets formalism (a specific type of Petri nets).  ...  We propose an exception handling mechanism, based on techniques adopted in programming languages, for modifying at run-time the structure of a workflow.  ...  For instance, some middleware frameworks provide meta-scheduler services that, in case of resource failure, can retry the job (in the same or an alternative resource).  ... 
doi:10.1002/cpe.1487 fatcat:5mrcc7jbcbhpraqdqxdywiy5qe

A meta-model for software protections and reverse engineering attacks

Cataldo Basile, Daniele Canavese, Leonardo Regano, Paolo Falcarin, Bjorn De Sutter
2019 Journal of Systems and Software  
The presented meta-model is validated against existing models and taxonomies in the domain of software protection, and by means of prototype tools that we developed to help non-modelling-expert software  ...  There also exist formal models such as attack graphs [5] and Petri Nets to model concrete attack paths on concrete assets [6, 7] .  ...  To design the attack models we used ePNK, an Eclipse-based tool 16 which provides a Java-based extensible open source platform for PN modelling, based on EMF and Graphical Modeling Framework (GMF) 17  ... 
doi:10.1016/j.jss.2018.12.025 fatcat:4v5vctri6re5ha7mtjdpzj3xoa
« Previous Showing results 1 — 15 out of 271 results