The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Meta-Model-Based Approach to the Definition of the Analysis Results of Petri-Net Models
|
|
Author(s): Simona Bernardi (Centro Universitario de la Defensa, Spain)and José Merseguer (Universidad de Zaragoza, Spain)
Copyright: 2014
Pages: 13
Source title:
Theory and Application of Multi-Formalism Modeling
Source Author(s)/Editor(s): Marco Gribaudo (Politecnico di Milano, Italy)and Mauro Iacono (Seconda Università degli Studi di Napoli, Italy)
DOI: 10.4018/978-1-4666-4659-9.ch006
Purchase
|
Abstract
Multi-formalism modeling techniques enable the modeling and analysis of different aspects of a system. One of the main issues in the integration of multiple tools to support multi-formalisms is how to provide a common method to report the results of the analysis and how to interchange them between models, based on different formalisms, that often represent the system behavior at different granularity levels. In this chapter, the authors focus on the Petri Net formalism, and they present a preliminary work toward the definition of a common XML-based language for the specification of the results obtained from the analysis of Petri net models. The authors use a meta-model based approach, where first a structured set of meta-models representing the Petri net result concepts and their relationships are defined. Then, model transformation rules enable the mapping of meta-models to XML constructs.
Related Content
|
Babita Srivastava.
© 2024.
21 pages.
|
|
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur.
© 2024.
27 pages.
|
|
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju.
© 2024.
24 pages.
|
|
Neeta Baporikar.
© 2024.
23 pages.
|
|
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman.
© 2024.
35 pages.
|
|
Charu Banga, Farhan Ujager.
© 2024.
24 pages.
|
|
Munir Ahmad.
© 2024.
27 pages.
|
|
|