Towards a Coordination Model for Interactive Systems
作者： Marco Antonio Barbosa , Luís Soares Barbosa , José Creissac Campos
DOI: 10.1016/J.ENTCS.2007.01.063
关键词:
摘要: When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition different interactors present in user interface model into a coherent system. In this paper we investigate an alternative approach to for specification systems which is based on coordination paradigm. We layout fundations work and illustrative example. Lines future are identified.
elsevier.com
core.ac.uk 
sci-hub.se 参考文章(20)
José C. Campos, Michael D. Harrison, Model Checking Interactor Specifications automated software engineering. ,vol. 8, pp. 275- 310 ,(2001) , 10.1023/A:1011265604021
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
L. S. Barbosa, Paula R. Ribeiro, Marco António Barbosa, Generic process algebra: a programming challenge Journal of Universal Computer Science. ,vol. 12, pp. 922- 937 ,(2006)
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou, Behaviour Analysis of Software Architectures ieee ifip international conference on software architecture. pp. 35- 50 ,(1999) , 10.1007/978-0-387-35563-4_3
Robin Milner, Communicating and Mobile Systems: the Pi-Calculus ,(1999)
Luís Soares Barbosa, José Nuno Oliveira, Coinductive Interpreters for Process Calculi international symposium on functional and logic programming. ,vol. 2441, pp. 183- 197 ,(2002) , 10.1007/3-540-45788-7_11
Marco Antonio Barbosa, Luís Soares Barbosa, Configurations of Web Services Electronic Notes in Theoretical Computer Science. ,vol. 175, pp. 39- 57 ,(2007) , 10.1016/J.ENTCS.2007.03.004
David Gelernter, Nicholas Carriero, Coordination languages and their significance Communications of The ACM. ,vol. 35, pp. 97- 107 ,(1992) , 10.1145/129630.129635
Robert Allen, David Garlan, A formal basis for architectural connection ACM Transactions on Software Engineering and Methodology. ,vol. 6, pp. 213- 249 ,(1997) , 10.1145/258077.258078
D.J. Duke, M.D. Harrison, Abstract Interaction Objects Computer Graphics Forum. ,vol. 12, pp. 25- 36 ,(1993) , 10.1111/1467-8659.1230025