DCCL: Verification of component systems with ensembles

CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering

Volumn , Issue , 2013, Pages 43-52

  Barnat, Jiří ^a   Beneš, Nikola ^a   Cěrná, Ivana ^a   Petruchová, Zuzana ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Adaptation; Component based development; Ensemble; Formal verification; Specification language

Indexed keywords

ADAPTATION; ADAPTIVE COMPONENTS; COMPONENT-BASED DEVELOPMENT; DISTRIBUTED SYSTEMS; EMERGENT BEHAVIOURS; ENSEMBLE; FORMAL VERIFICATIONS; VERIFICATION ENVIRONMENT;

SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; TOOLS;

COMMUNICATION;

EID: 84880552737     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2465449.2465453     Document Type: Conference Paper

References (14)

1. ASCENS. http://www.ascens-ist.eu/.
2. J. Barnat, L. Brim, M. Češka, and P. Ročkai. DiVinE: Parallel Distributed Model Checker (Tool paper). In HiBi/PDMC 2010, pages 4-7. IEEE, 2010.
3. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT press, 1999.
4. Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, and Rosario Pugliese. A language-based approach to autonomic computing. In Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, and Marcello M. Bonsangue, editors, FMCO, volume 7542 of Lecture Notes in Computer Science, pages 25-48. Springer, 2011.
5. DiVinE. http://divine.fi.muni.cz/.
6. George T. Heineman and William T. Councill, editors. Component-based software engineering: putting the pieces together. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2001.
7. Matthias M. Hölzl, Axel Rauschmayer, and Martin Wirsing. Software engineering for ensembles. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, and Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms, volume 5380 of Lecture Notes in Computer Science, pages 45-63. Springer, 2008.
8. Matthias M. Hölzl and Martin Wirsing. Towards a system model for ensembles. In Gul Agha, Olivier Danvy, and José Meseguer, editors, Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, pages 241-261. Springer, 2011.
9. DCCL Homepage. http://paradise.fi.muni.cz/dccl/.
10. InterLink. http://interlink.ics.forth.gr/.
11. Jaroslav Keznikl, Tomás Bures, Frantisek Plášil, and Michal Kit. Towards Dependable Emergent Ensembles of Components: The DEECo Component Model. In WICSA/ECSA 2012, pages 249-252. IEEE, 2012.
12. A. Pnueli. The temporal logic of programs. In FOCS, pages 46-57. IEEE, 1977.
13. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2nd edition, 2002.
14. M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification (preliminary report). In Proceedings, Symposium on Logic in Computer Science (LICS'86), pages 332-344. IEEE Computer Society, 1986.