Intentional automata: a context-dependent model for component connectors
作者： David Costa , Milad Niqui , Jan Rutten
DOI: 10.1007/978-3-642-29320-7_22
关键词:
摘要: In recent years, a promising line of research on formal compositional models for component connectors [3-6, 8, 9] has demonstrated the merits having as first class concepts, and incrementally increased expressiveness interaction protocols that can be captured compositionally. Typically, in these are entitled to have their own specification abstractions. Through composition, just like components, combined yield more sophisticated connectors.
ru.nl
springer.com
core.ac.uk
sci-hub.st 参考文章(25)
F. Arbab, J. J. M. M. Rutten, A coinductive calculus of component connectors workshop on recent trends in algebraic development techniques. pp. 34- 55 ,(2002) , 10.1007/978-3-540-40020-2_2
George A. Papadopoulos, Farhad Arbab, Coordination models and languages Advances in Computers. ,vol. 46, pp. 329- 400 ,(1998) , 10.1016/S0065-2458(08)60208-9
Robin Milner, Communication and Concurrency ,(1989)
Mary Shaw, Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status ICSE '93 Selected papers from the Workshop on Studies of Software Design. pp. 17- 32 ,(1993) , 10.1007/BFB0030517
Jose Luiz Fiadeiro, Categories for Software Engineering ,(2010)
Studies of Software Design ICSE '93 Selected papers from the Workshop on Studies of Software Design. pp. 1- 5 ,(1993) , 10.1007/BFB0030514
David Park, Concurrency and Automata on Infinite Sequences Theoretical Computer Science. pp. 167- 183 ,(1981) , 10.1007/BFB0017309
David Gelernter, Nicholas Carriero, Coordination languages and their significance Communications of The ACM. ,vol. 35, pp. 97- 107 ,(1992) , 10.1145/129630.129635
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan Rutten, Modeling component connectors in Reo by constraint automata Science of Computer Programming. ,vol. 61, pp. 75- 113 ,(2006) , 10.1016/J.SCICO.2005.10.008
Rajeev Motwani, John E. Hopcroft, Jeffrey D. Ullman, Rotwani, Introduction to Automata Theory, Languages, and Computation ,(1979)