Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures
Authors: 
Ying Liu, 
Walter Cazzola, Bin ZhangAuthors Info & Claims
Ying Liu, Walter Cazzola, Bin ZhangAuthors Info & ClaimsPages 1858 - 1865
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.
References
[1]
Danilo Ardagna and Barbara Pernici. Adaptive Service Composition in Flexible Processes. IEEE Transactions on Software Engineering, 33(6): 369--384, June 2007.
[2]
Boualem Benatallah, Fabio Casati, Daniela Grigori, Hamid R. Motahari Nezhad, and Farouk Toumani. Developing Adapters for Web Services Integration. In João Falcão e Cunha and Oscar Pastor, editors, Proceedings of the 17th International Conference on Advanced Information Systems Engineerin (CAiSE'05), LNCS 3520, pages 415--429, Porto, Portugal, June 2005. Springer.
[3]
Enrico Biermann, Claudia Ermel, Frank Hermann, and Tony Modica. A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework. In Pro-cedings of 14th Workshop on Algorithms and Tools for Petri Nets (AWPN'07), Landau, Germany, October 2007.
[4]
Lorenzo Capra and Walter Cazzola. Self-Evolving Petri Nets. Journal of Universal Computer Science, 13(13): 2002--2034, December 2007.
[5]
Lorenzo Capra and Walter Cazzola. An Introduction to Reflective Petri Nets. In Evon M. O. Abu-Taieh and Asim A. El Sheikh, editors, Handbook of Research on Discrete Event Simulation Environments: Technologies and Applications, chapter 9, pages 191--217. IGI Global, November 2009.
[6]
Walter Cazzola, Ahmed Ghoneim, and Gunter Saake. Software Evolution through Dynamic Adaptation of Its OO Design. In Hans-Dieter Ehrich, John-Jules Meyer, and Mark D. Ryan, editors, Objects, Agents and Features: Structuring Mechanisms for Contemporary Software, Lecture Notes in Computer Science 2975, pages 69--84. Springer-Verlag, Heidelberg, Germany, July 2004.
[7]
Rachid Hamadi and Boualem Benetallah. A Petri Net-Based Model for Web Service Composition. In Klaus-Dieter Schewe and Xiaofang Zhou, editors, Proceedings of the 14th Australasian Database Conference (ADC'03), pages 191--200, Adelaide, Australia, 2003. Australian Computer Society.
[8]
Kurt Jensen. An Introduction to the Theoretical Aspects of Coloured Petri Nets. In J. W. de Bakker, Willem P. de Roever, and Grzegorz Rozenberg, editors, A Decade of Concurrency, Reflections and Perspectives, LNCS 803, pages 230--272. Springer, June 1993.
[9]
Roberto Lucchi and Manuel Mazzara. A Pi-Calculus Based Semantics for WS-PEL. Journal of Logic and Algebraic Programming, 70(1): 96--118, January 2007.
[10]
Pattie Maes. Concepts and Experiments in Computational Reflection. In Norman K. Meyrowitz, editor, Proceedings of the 2nd Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'87), volume 22 of Sigplan Notices, pages 147--156, Orlando, Florida, USA, October 1987. ACM.
[11]
Manuel Mazzara and Anirban Bhattacharyya. On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. In Proceedings of the 3rd International Conference on Dependability (DEPEND'10), pages 173--181, Venice, Italy, July 2010. IEEE.
[12]
Mike P. Papazoglou. The Challenges of Service Evolution. In Zohra Bellahsène and Michel Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), LNCS 5074, pages 1--15, Montpellier, France, June 2008. Springer.
[13]
Stephanie Rinderle, Manfred Reichert, and Peter Dadam. Correctness Criteria for Dynamic Changes in Workflow Systems - A Survey. Data & Knowledge Engineering, 50(1): 9--34, July 2004.
[14]
Seung Hwan Ryu, Fabio Casati, Halvard Skogrud, Boualem Benatallah, and Régis Saint-Paul. Supporting the Dynamic Evolution of Web Service Protocols in Service-Oriented Architectures. ACM Transaction on the Web, 2(2), April 2008.
[15]
C. Sloan, John and Taghi M. Khoshgoftaar. From Web Service Artifact to a Readable and Verifiable Model. IEEE Transaction on Services Computing, 2(4): 277--288, October-December 2009.
[16]
Wei Tan, Yushun Fan, and Meng-Chu Zhou. A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language. IEEE Transactions on Automation Science and Engineering, 6(1): 94--106, January 2009.
[17]
René Wörzberger, Nicolas Ehses, and Thomas Heer. Adding Support for Dynamics Patterns to Static Business Process Management Systems. In Proceedings of the 7th international conference on Software composition (SC'08), pages 84--91, Budapest, Hungary, July 2008. ACM, Springer-Verlag.
[18]
Stephen S. Yau, Nong Ye, Hessam S. Sarjoughian, Dazhi Huang, Auttawut Roontiva, Mustafa Gökçe Baydogan, and Mohammed A. Muqsith. Toward Development of Adaptive Service-Based Software Systems. IEEE Transactions on Services Computing, 2(3): 247--260, July-September 2009.
[19]
Xiaochuan Yi and Krys J. Kochut. A CP-nets-based Design and Verification Framework for Web Services Composition. In Proceedings of the 2nd IEEE International Conference on Web Services (ICWS'04), pages 756--760, San Diego, CA, USA, July 2004. IEEE.
[20]
Jin Zeng, Hai-Long Sun, Xu-Dong Liu, Ting Deng, and Jin-Peng Huai. Dynamic Evolution Mechanism for Trustworthy Software Based on Service Composition. Journal of Software, 21(2): 261--276, February 2010.
[21]
Liangzhao Zeng, Boualem Benatallah, Anne H. H. Ngu, Marlon Dumas, Jayant Kalagnanam, and Henry Chang. QoS-aware middleware for Web Services Composition. IEEE Transactions on Software Engineering, 30(5): 311--327, May 2004.
Index Terms
- Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures
Recommendations
Evolving SaaS based on reflective Petri nets
RAM-SE '10: Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software EvolutionSaaS(Software as a service) is a new emerging software design, implement and deploy model. It provides personalized service to multi tenants by one instance over Internet. In order to meet the needs from tenant, it needs to continuously evolve. Most ...
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is characterized by its huge cost and slow speed of implementation. Often, software ...
Research of BPEL Modeling Technique Based on Colored Petri Net
ETCS '11: Proceedings of the 2011 Third International Workshop on Education Technology and Computer Science - Volume 01Web Services Business Process Execution Language (BPEL) modeling technique based on colored Petri net is proposed in this paper. Introduce a BPEL modeling principle based on colored Petri net, and a method of generating BPEL code from the colored Petri ...
Comments
Information & Contributors
Information
Published In
March 2012
2179 pages
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 26 March 2012
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
SAC 2012
Sponsor:
Acceptance Rates
SAC '12 Paper Acceptance Rate 270 of 1,056 submissions, 26%;
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Upcoming Conference
SAC '25
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 141Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 12 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in