research-article

Formal modeling self-adaptive service-oriented applications

Authors:

Elvinia Riccobene,

Patrizia ScandurraAuthors Info & Claims

SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing

Pages 1704 - 1710

https://doi.org/10.1145/2695664.2695772

Published: 13 April 2015 Publication History

Abstract

In the context of modern service-oriented applications, components must be able to autonomously adapt their behavior in response to rapidly changing environment and business conditions. Formal frameworks for modeling self-adaptive behavior of service-oriented components (SOCs) are critically required to assure quality properties.

In this paper we show how SCA-ASM, a lightweight formal framework for modeling and executing service-oriented applications, can be used to express adaptive behavior of service components. We explain how modeling an SCAASM component able to monitor and react to environmental changes (context-awareness) and to internal changes (self-awareness), and present the operators for expressing and coordinating self-adaptive behaviors in a distributed setting.

References

[1]

D. B. Abeywickrama, N. Hoch, and F. Zambonelli. Simsota: engineering and simulating feedback loops for self-adaptive systems. In Proc. of the Int. C* Conference on Computer Science & Software Engineering, C3S2E13, Porto, Portugal - July 10--12, 2013, pages 67--76. ACM, 2013.

Digital Library

[2]

P. Arcaini, A. Gargantini, and E. Riccobene. AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In Abstract State Machines, Alloy, B and Z, 2nd Int. Conference (ABZ 2010), LNCS vol. 5977, pages 61--74. Springer, 2010.

Digital Library

[3]

P. Arcaini, A. Gargantini, E. Riccobene, and P. Scandurra. A model-driven process for engineering a toolset for a formal method. Softw., Pract. Exper., 41(2):155--166, 2011.

Digital Library

[4]

M. Autili, P. D. Benedetto, and P. Inverardi. Context-aware adaptive services: The plastic approach. In M. Chechik and M. Wirsing, editors, FASE, LNCS vol. 5503, pages 124--139. Springer, 2009.

Digital Library

[5]

E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.

Digital Library

[6]

B. H. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, et al. Software engineering for self-adaptive systems: A research roadmap. Springer, 2009.

[7]

J. Cubo, C. Canal, and E. Pimentel. Model-based dependable composition of self-adaptive systems. Informatica (Slovenia), 35(1):51--62, 2011.

[8]

R. De Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, et al. Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II, pages 1--32. Springer, 2013.

[9]

J. L. Fiadeiro and A. Lopes. A model for dynamic reconfiguration in service-oriented architectures. Software and System Modeling, 12(2):349--367, 2013.

Digital Library

[10]

H. Garcia-Molina. Elections in a distributed computing system. IEEE Transactions on Computers, 31(1):48--59, 1982.

Digital Library

[11]

I. Georgiadis, J. Magee, and J. Kramer. Self-organising software architectures for distributed systems. In D. Garlan, J. Kramer, and A. L. Wolf, editors, WOSS, pages 33--38. ACM, 2002.

Digital Library

[12]

M. U. Iftikhar and D. Weyns. A case study on formal verification of self-adaptive behaviors in a decentralized system. In N. Kokash and A. Ravara, editors, FOCLASA, EPTCS vol. 91, pages 45--62, 2012.

[13]

S. C. J. Fox. An analysis of formal languages for dynamic adaptation. In Proc. of the 15th IEEE Int. Conf. on Engineering of Complex Computer Systems, ICECCS 2010, pages 3--13. IEEE, 2010.

Digital Library

[14]

J. O. Kephart and D. M. Chess. The vision of autonomic computing. IEEE Computer, 36(1):41--50, 2003.

Digital Library

[15]

E. Riccobene and P. Scandurra. A formal framework for service modeling and prototyping. Journal of Formal Aspects of Computing, Accepted for publication October 10, 2013.

[16]

E. Riccobene, P. Scandurra, and F. Albani. A modeling and executable language for designing and prototyping service-oriented applications. In EUROMICRO-SEAA, pages 4--11. IEEE, 2011.

Digital Library

[17]

OASIS/OSOA. Service Component Architecture (SCA). http://www.oasis-opencsa.org/sca.

[18]

The SCA-ASM design framework. See directory/code/experimental/SCAASM in the svn repository https://asmeta.svn.sf.net/.

[19]

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni, and J.-B. Stefani. A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures. Software: Practice and Experience, 42(5):559--583, May 2012.

Digital Library

[20]

P. Vromant, D. Weyns, S. Malek, and J. Andersson. On interacting control loops in self-adaptive systems. In H. Giese and B. H. C. Cheng, editors, SEAMS, pages 202--207. ACM, 2011.

Digital Library

[21]

D. Weyns, M. U. Iftikhar, D. G. de la Iglesia, and T. Ahmad. A survey of formal methods in self-adaptive systems. In C3S2E, pages 67--79, 2012.

Digital Library

[22]

D. Weyns, S. Malek, and J. Andersson. FORMS: a formal reference model for self-adaptation. In M. Parashar, R. J. O. Figueiredo, and E. Kiciman, editors, ICAC, pages 205--214. ACM, 2010.

Digital Library

[23]

D. Weyns, B. R. Schmerl, V. Grassi, S. Malek, R. Mirandola, C. Prehofer, J. Wuttke, J. Andersson, H. Giese, and K. M. Göschka. On patterns for decentralized control in self-adaptive systems. In Software Engineering for Self-Adaptive Systems, LNCS vol. 7475, pages 76--107. Springer, 2010.

Cited By

Filippone GAutili MTivoli M(2021)Synthesis of context‐aware business‐to‐business processes for location‐based services through choreographiesJournal of Software: Evolution and Process10.1002/smr.241634:10Online publication date: 13-Dec-2021
https://doi.org/10.1002/smr.2416
Athanasopoulos D(2017)Self-Adaptive Service Organization for Pragmatics-Aware Service Discovery2017 IEEE International Conference on Services Computing (SCC)10.1109/SCC.2017.28(164-171)Online publication date: Jun-2017
https://doi.org/10.1109/SCC.2017.28
Di Noia TDi Sciascio EDonini FMongiello MNocera F(2017)Formal model for user‐centred adaptive mobile devicesIET Software10.1049/iet-sen.2016.016911:4(156-164)Online publication date: Aug-2017
https://doi.org/10.1049/iet-sen.2016.0169
Show More Cited By

Index Terms

Recommendations

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control

Feedback control loops that monitor and adapt managed parts of a software system are considered crucial for realizing self-adaptation in software systems. The MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) autonomic control loop is the ...
Modeling and validating self-adaptive service-oriented applications

Self-adaptive and autonomous behaviors are becoming more and more important in the context of service-oriented applications, and formal modeling self-adaptive service-oriented components is highly required to assure quality properties.

This paper ...
A high-level petri net-based formal model of distributed self-adaptive systems
ECSA '18: Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings

Engineering complex distributed self-adaptive systems is a challenging task due to multiple interacting distributed components that monitor and adapt the managed parts operating in a dynamic environment. Therefore, formal methods able to specify and ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing

April 2015

2418 pages

ISBN:9781450331968

DOI:10.1145/2695664

Conference Chairs:
Roger L. Wainwright
University of Tulsa
,
Juan Manuel Corchado
University of Salamanca, Spain
,
Program Chairs:
Alessio Bechini
University of Pisa, Italy
,
Jiman Hong
Soongsil University, South Korea

Copyright © 2015 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

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SAC 2015

Sponsor:

SIGAPP

SAC 2015: Symposium on Applied Computing

April 13 - 17, 2015

Salamanca, Spain

Acceptance Rates

SAC '15 Paper Acceptance Rate 291 of 1,211 submissions, 24%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
152
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Filippone GAutili MTivoli M(2021)Synthesis of context‐aware business‐to‐business processes for location‐based services through choreographiesJournal of Software: Evolution and Process10.1002/smr.241634:10Online publication date: 13-Dec-2021
https://doi.org/10.1002/smr.2416
Athanasopoulos D(2017)Self-Adaptive Service Organization for Pragmatics-Aware Service Discovery2017 IEEE International Conference on Services Computing (SCC)10.1109/SCC.2017.28(164-171)Online publication date: Jun-2017
https://doi.org/10.1109/SCC.2017.28
Di Noia TDi Sciascio EDonini FMongiello MNocera F(2017)Formal model for user‐centred adaptive mobile devicesIET Software10.1049/iet-sen.2016.016911:4(156-164)Online publication date: Aug-2017
https://doi.org/10.1049/iet-sen.2016.0169
Mongiello MDi Noia TNocera FDi Sciascio EOssowski S(2016)Case-based reasoning and knowledge-graph based metamodel for runtime adaptive architectural modelingProceedings of the 31st Annual ACM Symposium on Applied Computing10.1145/2851613.2851767(1323-1328)Online publication date: 4-Apr-2016
https://dl.acm.org/doi/10.1145/2851613.2851767
Mongiello MColucci SVogli EGrieco LSciancalepore M(2016)Run-time architectural modeling for future internet applicationsComplex & Intelligent Systems10.1007/s40747-016-0020-x2:2(111-124)Online publication date: 24-Jun-2016
https://doi.org/10.1007/s40747-016-0020-x
Arcaini PRiccobene EScandurra PInverardi PSchmerl B(2015)Modeling and analyzing MAPE-K feedback loops for self-adaptationProceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.5555/2821357.2821362(13-23)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2821357.2821362
Arcaini PRiccobene EScandurra P(2015)Modeling and validating self-adaptive service-oriented applicationsACM SIGAPP Applied Computing Review10.1145/2835260.283526215:3(35-48)Online publication date: 13-Oct-2015
https://dl.acm.org/doi/10.1145/2835260.2835262
Arcaini PRiccobene EScandurra P(2015)Modeling and Analyzing MAPE-K Feedback Loops for Self-AdaptationProceedings of the 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2015.10(13-23)Online publication date: 18-May-2015
https://dl.acm.org/doi/10.1109/SEAMS.2015.10

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten