{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:58:45Z","timestamp":1725544725575},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642116223"},{"type":"electronic","value":"9783642116230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11623-0_25","type":"book-chapter","created":{"date-parts":[[2010,1,25]],"date-time":"2010-01-25T01:08:29Z","timestamp":1264381709000},"page":"416-430","source":"Crossref","is-referenced-by-count":3,"title":["A Coordination Model for Interactive Components"],"prefix":"10.1007","author":[{"given":"Marco A.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 C.","family":"Campos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel\u2013based coordination model for component composition. Mathematical Structures in Comp. Sci.\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Comp. Sci."},{"issue":"7","key":"25_CR2","first-page":"808","volume":"10","author":"M.A. Barbosa","year":"2004","unstructured":"Barbosa, M.A., Barbosa, L.S.: A relational model for component interconnection. Journal of Universal Computer Science\u00a010(7), 808\u2013823 (2004)","journal-title":"Journal of Universal Computer Science"},{"key":"25_CR3","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"89","volume-title":"FMIS 2007: Proc. 1st Inter. Workshop in Formal Methods for Interactive Systems","author":"M.A. Barbosa","year":"2007","unstructured":"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.\u00a0347, pp. 89\u2013103. Elsevier, Amsterdam (2007)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-540-31862-0_6","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"M.A. Barbosa","year":"2005","unstructured":"Barbosa, M.A., Barbosa, L.S.: Specifying software connectors. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 52\u201367. Springer, Heidelberg (2005)"},{"key":"25_CR5","unstructured":"Barbosa, M.A.: Specification and Refinement of Software Connectors. PhD thesis, DI, Universidade do Minho (to appear, 2009)"},{"issue":"3","key":"25_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0953-5438(03)00011-0","volume":"15","author":"R. Bastide","year":"2003","unstructured":"Bastide, R., Navarre, D., Palanque, P.A.: A tool-supported design framework for safety critical interactive systems. Interacting with Computers\u00a015(3), 309\u2013328 (2003)","journal-title":"Interacting with Computers"},{"key":"25_CR7","first-page":"135","volume-title":"Proc. of FOCLASA 2006","author":"J.K.F. Bowles","year":"2006","unstructured":"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.\u00a0175(2), pp. 135\u2013151. Elsevier, Amsterdam (2006)"},{"issue":"3\/4","key":"25_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J.C. Campos","year":"2001","unstructured":"Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering\u00a08(3\/4), 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-70569-7_6","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"J.C. Campos","year":"2008","unstructured":"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.\u00a05136, pp. 72\u201385. Springer, Heidelberg (2008)"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1109\/ICSE.1998.671121","volume-title":"ICSE 1998: Proc. 20th Inter. Conf. on Software Engineering","author":"B. d\u2019Ausbourg","year":"1998","unstructured":"d\u2019Ausbourg, B., Seguin, C., Durrieu, G., Roch\u00e9, P.: Helping the automated validation process of user interfaces systems. In: ICSE 1998: Proc. 20th Inter. Conf. on Software Engineering, pp. 219\u2013228. IEEE Computer Society, Los Alamitos (1998)"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/SEFM.2005.7","volume-title":"SEFM 2005: Proc. 3rd IEEE Inter. Conf. on Software Engineering and Formal Methods","author":"A. Dittmar","year":"2005","unstructured":"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\u2013351. IEEE Computer Society, Los Alamitos (2005)"},{"issue":"3","key":"25_CR12","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D.J. Duke","year":"1993","unstructured":"Duke, D.J., Harrison, M.D.: Abstract interaction objects. Computer Graphics Forum\u00a012(3), 25\u201336 (1993)","journal-title":"Computer Graphics Forum"},{"key":"25_CR13","first-page":"481","volume-title":"Eurographics 1990","author":"G. Faconti","year":"1990","unstructured":"Faconti, G., Patern\u00da, F.: An approach to the formal specification of the components of an interaction. In: Vandoni, C., Duce, D. (eds.) Eurographics 1990, pp. 481\u2013494. North-Holland, Amsterdam (1990)"},{"issue":"1","key":"25_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M.C. Hennessy","year":"1985","unstructured":"Hennessy, M.C., Milner, A.J.R.G.: Algebraic laws for non-determinism and concurrency. Journal of ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"Journal of ACM"},{"key":"25_CR15","first-page":"187","volume-title":"Validating behavioural component interfaces in rewriting logic","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Torjusen, A.B.: Validating behavioural component interfaces in rewriting logic, vol.\u00a0159, pp. 187\u2013204. Elsevier, Amsterdam (2006)"},{"key":"25_CR16","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. Theor. Comp. Sci.\u00a0(27), 333\u2013354 (1983)","journal-title":"Theor. Comp. Sci."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-7091-9437-9_18"},{"key":"#cr-split#-25_CR18.1","unstructured":"Patern??, F.D.: A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York (1995);"},{"key":"#cr-split#-25_CR18.2","unstructured":"Available as Technical Report YCST 96\/03"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/3-540-54415-1_65","volume-title":"Theoretical Aspects of Computer Software","author":"M. Ryan","year":"1991","unstructured":"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.\u00a0526, pp. 569\u2013593. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11623-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:54:42Z","timestamp":1619783682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11623-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642116223","9783642116230"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11623-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}