Service-based software systems could require to evolve during their execution. To support this, we need to consider system evolving since the design phase. Reflective Petri nets separate the system from its evolution by describing it and how it can evolve. However, reflective Petri nets have some expressivity limits and render overcomplicated the consistency checking necessary during service evolution. In this paper, we extend the reflective Petri nets approach to overcome such limits and show that on a case study.
Towards a Colored Reflective Petri-Net Approach to Model Self-Evolving Service-Oriented Architectures / Y. Liu, W. Cazzola, B. Zhang - In: Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC'12)[s.l] : ACM, 2012 Mar. - ISBN 978-1-4503-0857-1. - pp. 1858-1865 (( Intervento presentato al 27. convegno Annual ACM Symposium on Applied Computing tenutosi a Riva del Garda, Trento, Italy nel 2012 [10.1145/2245276.2232081].
Towards a Colored Reflective Petri-Net Approach to Model Self-Evolving Service-Oriented Architectures
W. CazzolaSecondo
;
2012
Abstract
Service-based software systems could require to evolve during their execution. To support this, we need to consider system evolving since the design phase. Reflective Petri nets separate the system from its evolution by describing it and how it can evolve. However, reflective Petri nets have some expressivity limits and render overcomplicated the consistency checking necessary during service evolution. In this paper, we extend the reflective Petri nets approach to overcome such limits and show that on a case study.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.