Abstract
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal modelling techniques for interactive systems. This paper replaces traditional, hierarchical, ‘tree-like’ composition of interactors in the specification of complex interactive systems, by their exogenous coordination through general-purpose software connectors which assure the flow of data and the meet of synchronisation constraints. The paper’s technical contribution is twofold. First a modal logic is defined to express behavioural properties of both interactors and connectors. The logic is new in the sense that its modalities are indexed by fragments of sets of actions to cater for action co-occurrence. Then, this logic is used in the specification of both interactors and coordination layers which orchestrate their interconnection.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arbab, F.: Reo: a channel–based coordination model for component composition. Mathematical Structures in Comp. Sci. 14(3), 329–366 (2004)
Barbosa, M.A., Barbosa, L.S.: A relational model for component interconnection. Journal of Universal Computer Science 10(7), 808–823 (2004)
Barbosa, M.A., Barbosa, L.S., Campos, J.C.: Towards a coordination model for interactive systems. In: Cerone, A., Curzon, P. (eds.) FMIS 2007: Proc. 1st Inter. Workshop in Formal Methods for Interactive Systems. Electronic Notes in Theoretical Computer Science, vol. 347, pp. 89–103. Elsevier, Amsterdam (2007)
Barbosa, M.A., Barbosa, L.S.: Specifying software connectors. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 52–67. Springer, Heidelberg (2005)
Barbosa, M.A.: Specification and Refinement of Software Connectors. PhD thesis, DI, Universidade do Minho (to appear, 2009)
Bastide, R., Navarre, D., Palanque, P.A.: A tool-supported design framework for safety critical interactive systems. Interacting with Computers 15(3), 309–328 (2003)
Bowles, J.K.F., Moschoyiannis, S.: Concurrent logic and automata combined: A semantics for components. In: Canal, C., Viroli, M. (eds.) Proc. of FOCLASA 2006, vol. 175(2), pp. 135–151. Elsevier, Amsterdam (2006)
Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering 8(3/4), 275–310 (2001)
Campos, J.C., Harrison, M.D.: Systematic analysis of control panel interfaces using formal tools. In: Graham, T.C.N., Palanque, P. (eds.) DSV-IS 2008. LNCS, vol. 5136, pp. 72–85. Springer, Heidelberg (2008)
d’Ausbourg, B., Seguin, C., Durrieu, G., Roché, P.: Helping the automated validation process of user interfaces systems. In: ICSE 1998: Proc. 20th Inter. Conf. on Software Engineering, pp. 219–228. IEEE Computer Society, Los Alamitos (1998)
Dittmar, A., Forbrig, P.: A unified description formalism for complex hci-systems. In: SEFM 2005: Proc. 3rd IEEE Inter. Conf. on Software Engineering and Formal Methods, pp. 342–351. IEEE Computer Society, Los Alamitos (2005)
Duke, D.J., Harrison, M.D.: Abstract interaction objects. Computer Graphics Forum 12(3), 25–36 (1993)
Faconti, G., PaternÚ, F.: An approach to the formal specification of the components of an interaction. In: Vandoni, C., Duce, D. (eds.) Eurographics 1990, pp. 481–494. North-Holland, Amsterdam (1990)
Hennessy, M.C., Milner, A.J.R.G.: Algebraic laws for non-determinism and concurrency. Journal of ACM 32(1), 137–161 (1985)
Johnsen, E.B., Owe, O., Torjusen, A.B.: Validating behavioural component interfaces in rewriting logic, vol. 159, pp. 187–204. Elsevier, Amsterdam (2006)
Kozen, D.: Results on the propositional μ-calculus. Theor. Comp. Sci. (27), 333–354 (1983)
Markopoulos, P.: On the expression of interaction properties within an interactor model. In: Palanque, P., Bastide, R. (eds.) Design, Specification and Verification of Interactive Systems 1995 (1995)
PaternÜ, F.D.: A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York (1995); Available as Technical Report YCST 96/03
Ryan, M., Fiadeiro, J., Maibaum, T.: Sharing actions and attributes in Modal Action Logic. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 569–593. Springer, Heidelberg (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barbosa, M.A., Barbosa, L.S., Campos, J.C. (2010). A Coordination Model for Interactive Components. In: Arbab, F., Sirjani, M. (eds) Fundamentals of Software Engineering. FSEN 2009. Lecture Notes in Computer Science, vol 5961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11623-0_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-11623-0_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11622-3
Online ISBN: 978-3-642-11623-0
eBook Packages: Computer ScienceComputer Science (R0)