Reo connectors as coordination artifacts in 2APL systems

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

Volumn 5357 LNAI, Issue , 2008, Pages 42-53

  Arbab, Farhad ^a,b   Aştefǎnoaei, Lǎcrǎmioara ^b   De Boer, Frank S ^a,b   Dastani, Mehdi ^c   Meyer, John Jules ^c   Tinnermeier, Nick ^c  

^a LEIDEN UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTS; APL (PROGRAMMING LANGUAGE); ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; PROGRAMMING THEORY;

AGENT SYSTEMS; COORDINATION ARTIFACTS; COORDINATION MODELS; INDIVIDUAL AGENTS; PROGRAMMING LANGUAGE;

MULTI AGENT SYSTEMS;

EID: 58449102696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89674-6_8     Document Type: Conference Paper

References (10)

1. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329-366 (2004)
2. Arbab, F., Baier, C, de Boer, F., Rutten, J.: Models and temporal logics for timed component connectors. In: SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference, Washington, DC, USA, pp. 198-207. Computer Society Press, Los Alamitos (2004)
3. Baier, C, Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program 61(2), 75-113 (2006)
4. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244-263 (1986)
5. Dastani, M.: 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems 16(3), 214-248 (2008)
6. Dastani, M., Arbab, F., de Boer, F.: Coordination and composition in multi-agent systems. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 439-446. ACM Press, New York (2005)
7. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2), 194-211 (1979)
8. Guillen-Scholten, J., Arbab, F., de Boer, F., Bonsangue, M.: Mocha-pi, an exogenous coordination calculus based on mobile channels. In: SAC 2005: Proceedings of the 2005 ACM symposium on Applied computing. ACM Press, New York (2006)
9. Klüppelholz, S., Baier, C: Symbolic model checking for channel-based component connectors. Electron. Notes Theor. Comput. Sci. 175(2), 19-37 (2007)
10. Wojciechowski, P.T., Sewell, P.: Nomadic pict: Language and infrastructure design for mobile agents. IEEE Concurrency 8(2), 42-52 (2000)