Specifying self-configurable component-based systems with FracToy

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5977 LNCS, Issue , 2010, Pages 91-104

  Tiberghien, Alban ^a   Merle, Philippe ^a   Seinturier, Lionel ^a  

^a INRIA   (France)

Author keywords

Alloy; Autonomic computing; Component based systems; Formal specification self configuration

Indexed keywords

AUTONOMIC COMPUTING; COMPONENT BASED SYSTEMS; FORMAL SPECIFICATION; SELF CONFIGURATION;

ABSTRACTING; CONTOUR FOLLOWERS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ALLOYS;

EID: 77950810855     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11811-1_8     Document Type: Conference Paper

References (16)

1. Aguirre, N., Maibaum, T.: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. In: ASE 2002: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, Washington, DC, USA, p. 271. IEEE Computer Society, Los Alamitos (2002)
2. Allen, R.J.: A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon University (May 1997)
3. Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A Survey of Self-Management in Dynamic Software Architecture Specifications. In: WOSS 2004: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, pp. 28-33. ACM, New York (2004)
4. Coulson, G., Blair, G., Grace, P., Taiani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A Generic Component Model for Building Systems Software. ACM Transactions on Computer Systems 26, 1-42 (2008)
5. de Paula, V.C.C.: ZCL: A Formal Framework for Specifying Dynamic Software Architectures. PhD thesis, Federal University of Pernambuco (1999)
6. Endler, M., Wei, J.: Programming generic dynamic reconfigurations for distributed applications. In: Proceedings of the International Workshop on Configurable Distributed Systems, pp. 68-79. IEE (1992)
7. Georgiadis, I., Magee, J., Kramer, J.: Self-Organising Software Architectures for Distributed Systems. In: WOSS 2002: Proceedings of the first workshop on Self-healing systems, pp. 33-38. ACM, New York (2002)
8. Gomes, A.T.A., Batista, T.V., Joolia, A., Coulson, G.: Architecting Dynamic Reconfiguration in Dependable Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol.4615, pp. 237-261. Springer, Heidelberg (2007)
9. Jackson, D.: Alloy: a Lightweight Object Modelling Notation. ACM Transactions on Software Engineering and Methodology 11(2), 256-290 (2002)
10. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
11. Jackson, D., Sullivan, K.: COM Revisited: Tool-Assisted Modelling of an Architectural Framework. In: SIGSOFT 2000/FSE-8: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 149-158 (2000)
12. Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing. Computer 36, 41-50 (2003)
13. Kim, J.S., Garlan, D.: Analyzing Architectural Styles with Alloy. In: ROSATEA 2006: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, pp. 70-80. ACM, New York (2006)
14. Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering 26, 70-93 (1997)
15. Merle, P., Stefani, J.-B.: A formal specification of the Fractal component model in Alloy. Technical Report RR-6721, INRIA (November 2008)
16. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Number 0-201-74572-0 (2002)