Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures

Authors:
Ying Liu;Walter Cazzola;Bin Zhang
Affiliations:
Northeastern University, Liaoning, China;DICo, Università di Milano, Milano, Italy;Northeastern University, Liaoning, China
Venue:
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Year:
2012

Citing 14
Cited 0

Concepts and experiments in computational reflection

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
An Introduction to the Theoretical Aspects of Coloured Petri Nets

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
QoS-Aware Middleware for Web Services Composition

IEEE Transactions on Software Engineering
A CP-nets-based Design and Verification Framework for Web Services Composition

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Correctness criteria for dynamic changes in workflow systems: a survey

Data & Knowledge Engineering - Special issue: Advances in business process management
Adaptive Service Composition in Flexible Processes

IEEE Transactions on Software Engineering
Supporting the dynamic evolution of Web service protocols in service-oriented architectures

ACM Transactions on the Web (TWEB)
The Challenges of Service Evolution

CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Toward Development of Adaptive Service-Based Software Systems

IEEE Transactions on Services Computing
From Web Service Artifact to a Readable and Verifiable Model

IEEE Transactions on Services Computing
Adding support for dynamics patterns to static business process management systems

SC'08 Proceedings of the 7th international conference on Software composition
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

DEPEND '10 Proceedings of the 2010 Third International Conference on Dependability
Developing adapters for web services integration

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

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.