Revisiting Context-Aware Component Interconnection
作者： Luis S Barbosa , Marco A C Barbosa , Ce Rodrigues
关键词: Component (UML) 、 Formal specification 、 Theoretical computer science 、 Distributed computing 、 Synchronization (computer science) 、 Software 、 Context model 、 Context (language use) 、 Computer science 、 Context awareness 、 Semantics (computer science)
摘要: Software connectors are external coordination devices which ensure the flow of data and enforce synchronization constraints within a component’s network. The specification software through context dependent behaviour is correctly propagated remains an open, non trivial issue in their semantics. This paper, building on previous work by authors, revisits this problem introduces model awareness suitably handled.
sci-hub.se 参考文章(16)
J. L. Fiadeiro, A. Lopes, Semantics of Architectural Connectors colloquium on trees in algebra and programming. pp. 505- 519 ,(1997) , 10.1007/BFB0030622
Robin Milner, Communication and Concurrency ,(1989)
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)
José Luiz Fiadeiro, Software services: scientific challenge or industrial hype? international colloquium on theoretical aspects of computing. pp. 1- 13 ,(2004) , 10.1007/978-3-540-31862-0_1
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
Anders Kock, Strong functors and monoidal monads Archiv der Mathematik. ,vol. 23, pp. 113- 120 ,(1972) , 10.1007/BF01304852
Farhad Arbab, Abstract behavior types: a foundation model for components and their composition formal methods. ,vol. 55, pp. 3- 52 ,(2005) , 10.1016/J.SCICO.2004.05.010
Luís S. Barbosa, Process Calculi à la Bird-Meertens Electronic Notes in Theoretical Computer Science. ,vol. 44, pp. 47- 66 ,(2001) , 10.1016/S1571-0661(04)80902-2
J.J.M.M. Rutten, Universal coalgebra: a theory of systems Theoretical Computer Science. ,vol. 249, pp. 3- 80 ,(2000) , 10.1016/S0304-3975(00)00056-6
Dave Clarke, David Costa, Farhad Arbab, Connector colouring I: Synchronisation and context dependency Science of Computer Programming. ,vol. 66, pp. 205- 225 ,(2007) , 10.1016/J.SCICO.2007.01.009