Towards a formal approach for prototyping and verifying self-adaptive systems

Lecture Notes in Business Information Processing

Volumn 148 LNBIP, Issue , 2013, Pages 432-446

  Inglés Romero, Juan F ^a   Vicente Chicote, Cristina ^b  

^a TECHNICAL UNIVERSITY OF CARTAGENA   (Spain)

^b UNIVERSITY OF EXTREMADURA   (Spain)

Author keywords

Maude; Prototyping; Self Adaptive Systems; VML

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SYSTEMS PROGRAMMING; INFORMATION SYSTEMS; SOFTWARE PROTOTYPING; SYSTEMS ENGINEERING;

FORMAL APPROACH; MAUDE; REWRITING LOGIC; SELF-ADAPTIVE SYSTEM; SOFTWARE ADAPTATION; USER REQUIREMENTS; VML;

ADAPTIVE SYSTEMS;

EID: 84879848304     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-38490-5_39     Document Type: Conference Paper

References (17)

1. Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: A research roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol. 5525, pp. 1-26. Springer, Heidelberg (2009)
2. Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems 4(2), 1-42 (2009)
3. Maude website, http://maude.cs.uiuc.edu/
4. Inglés-Romero, J.F., et al.: Using Models@Runtime for Designing Adaptive Robotics Software: an Experience Report. In: 1st Int'l Workshop on Model-Based Engineering for Robotics (RoSym), Oslo, Norway, October 3-8 (2010)
5. Inglés-Romero, J.F., et al.: Towards the Automatic Generation of Self-Adaptive Robotics Software: An Experience Report. In: 20th IEEE Int'l Conf. on Collaboration Technologies and Infrastructures (WETICE), Paris, France, June 27-29, pp. 79-86 (2011)
6. EU 7FP DiVA Project, http://www.ict-diva.eu
7. Inglés-Romero, J.F., et al.: Dealing with Run-Time Variability in Service Robotics: Towards a DSL for Non-Functional Properties. In: 3rd Int'l Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2012), held in conjunction with (SIMPAR 2012), Tsukuba, Japan, November 5 (2012)
8. The E-puck website, http://www.e-puck.org
9. Xtext website, http://www.eclipse.org/Xtext/
10. Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. Computer 41(4), 93-95 (2008)
11. Fleurey, F., Solberg, A.: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 606-621. Springer, Heidelberg (2009)
12. The DiaSuite Project website, https://diasuite.inria.fr/
13. The MUSIC Project website, http://ist-music.berlios.de/site/index.html
14. MOSKitt4SPL website, http://www.pros.upv.es/m4spl/index.html
15. Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264-278. Springer, Heidelberg (2005)
16. Blair, G.S., Bencomo, N., France, R.B.: Models@run.time. IEEE Computer 42(10), 22-27 (2009)
17. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology 6(9) (2007)