Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic

Electronic Notes in Theoretical Computer Science

Volumn 159, Issue 1, 2006, Pages 61-77

  Clarke, Dave ^a  

^a CWI   (Netherlands)

Author keywords

Coordination; Dynamic Reconfiguration; Reo

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS; PARALLEL ALGORITHMS; SEMANTICS; TOPOLOGY;

CONNECTORS; COORDINATION; DYNAMIC RECONFIGURATION; REO;

SOFTWARE ENGINEERING;

EID: 33646528918     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.062     Document Type: Article

References (20)

1. Arbab F. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 3 (June 2004) 329-366
2. Arbab F. Abstract behavior types: a foundation model for components and their composition. Science of Computer Programming 55 (2005) 3-52
3. Farhad Arbab, Christel Baier, Frank de Boer, and Jan Rutten. Models and temporal logics for timed component connectors. In IEEE International Conference on Software Engineering and Formal Methods (SEFM '04), Beijing, China, September 2004
4. Arbab F., Baier C., Rutten J., and Sirjani M. Modeling component connectors in Reo by constraint automata. International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA), Marseille, France. ENTCS (September 2003) Elsevier Science
5. Armstrong J., Williams M., Wikstrom C., and Virding R. Concurrent Programming in Erlang (1996), Prentice-Hall, New Jersey, USA
6. Baltag A., Moss L.S., and Solecki S. A logic of public announcements, common knowledge, and private suspicions. In: Gilboa I. (Ed). Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge. (TARK-98), Evanston, IL, USA (1998), Morgan Kaufmann
7. Bergstra J.A., and Klint P. The discrete time ToolBus - a software coordination architecture. Science of Computer Programming 31 2-3 (July 1998) 205-229
8. Bettini L., De Nicola R., and Loreti M. Formalizing properties of mobile agent systems. Coordination Languages and Models. LNCS volume 2315 (2002) 72-87
9. Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, and Keith Wansbrough. Dynamic rebinding for marshalling and update, with destruct-time λ. In International Conference onf Functional Programming (ICFP), pages 99-110, August 2003
10. Luca Cardelli and Andrew D. Gordon. Ambient logic. Mathematical Structures in Computer Science, 2005. To Appear
11. David G. Clarke. Reasoning about connector reconfiguration I: Equivalence of constructions. SEN-R0506 ISSN 1386-369X, CWI, Amsterdam, The Netherlands, 2005
12. Clarke Jr. E.M., Grumberg O., and Peled D.A. Model Checking (1999), MIT Press
13. Demartini C., Iosif R., and Sisto R. dSPIN: A dynamic extension of SPIN. In: Dams D., Gerth R., Leue S., and Massnik M. (Eds). Theoretical and Practical Aspects of SPIN Model Checking. LNCS volume 1680 (1999), Springer 261-276
14. Ducasse S., Hofmann T., and Nierstrasz O. OpenSpaces: An object-oriented framework for reconfigurable coordination spaces. Coordination Languages and Models. LNCS volume 1906 (September 2000) 1-18
15. Hirsch D., Inveradi P., and Montanari U. Reconfiguration of software architecture styles with name mobility. Coordination Languages and Models. LNCS volume 1906 (September 2000)
16. Holzmann G.J. The SPIN Model Checker (2003), Addison Wesley
17. Papadopoulos G.A., and Arbab F. Configuration and dynamic reconfiguration of components using the coordination paradigm. Future Generation Computer Systems 17 (2001) 1023-1038
18. van Bentham J. An essay on sabotage and obstruction. In: Hutter D., and Werner S. (Eds). Festschrift in Honour of Jörg Siekman. LNAI (2002)
19. P.R.A. Verbaan, J. van Leeuwen, and J. Wiedermann. Lineages of automata. Technical Report UU-2004-018, Utrecht University: Information and Computing Sciences, 2004
20. Zlatev Z., Diakov N., and Pokraev S. Construction of negotiation protocols for E-commerce applications. ACM SIGecom Exchanges 5 2 (November 2004) 12-22