loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Lorenzo Capra and Walter Cazzola

Affiliation: Università degli Studi di Milano, Italy

Related Ontology Subjects/Areas/Topics: Applications ; Applications and Software Development ; Business and Software Modeling Languages ; Cross-Feeding between Data and Software Engineering ; Evolutionary Design ; Formal Methods ; Meta-Programming ; Model-Driven Software Development ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A common approach is to pollute design with details that do not regard the current system behavior rather its evolution. That hampers analysis, reuse and maintenance in general. A reflective Petri net model (based on classical Petri nets) was recently proposed to support dynamic discrete-event system's design, and was applied to dynamic workflow's management. Behind there is the idea that keeping functional aspects separated from evolutionary ones and applying them to the (current) system only when necessary, results in a simple formal model on which the ability of verifying properties typical of Petri nets is preserved. In this paper we provide the reflective Petri nets with a (labeled) state-transition graph semantics.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.234.233.157

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Capra, L. and Cazzola, W. (2009). Evolving System’s Modeling and Simulation through Reflective Petri Nets. In Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-811-98-2; ISSN 2184-4895, SciTePress, pages 59-70. DOI: 10.5220/0001955300590070

@conference{enase09,
author={Lorenzo Capra. and Walter Cazzola.},
title={Evolving System’s Modeling and Simulation through Reflective Petri Nets},
booktitle={Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2009},
pages={59-70},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001955300590070},
isbn={978-989-811-98-2},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Evolving System’s Modeling and Simulation through Reflective Petri Nets
SN - 978-989-811-98-2
IS - 2184-4895
AU - Capra, L.
AU - Cazzola, W.
PY - 2009
SP - 59
EP - 70
DO - 10.5220/0001955300590070
PB - SciTePress