Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-touch Interactions

Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-touch Interactions. Hamon, A., Palanque, P., Cronel, M., André, R., Barboni, E., & Navarre, D. In Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, of EICS '14, pages 173--178, New York, NY, USA, 2014. ACM.

Paper doi abstract bibtex

Representing the behavior of multi-touch interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques. Indeed, multi-touch interactive systems embed specific constraints that are either cumbersome or impossible to capture with classical formal description techniques. This is due to both the idiosyncratic nature of multi-touch technology (e.g. the fact that each finger represent an input device and that gestures are directly performed on the surface without an additional instrument) and the high dynamicity of interactions usually encountered in this kind of systems. This paper presents a formal description technique able to model multi-touch interactive systems. We focus the presentation on how to represent the dynamic instantiation of input devices (i.e. finger) and how they can then be exploited dynamically to offer a multiplicity of interaction techniques which are also dynamically instantiated

@inproceedings{hamon_formal_2014,
	address = {New York, NY, USA},
	series = {{EICS} '14},
	title = {Formal {Modelling} of {Dynamic} {Instantiation} of {Input} {Devices} and {Interaction} {Techniques}: {Application} to {Multi}-touch {Interactions}},
	isbn = {978-1-4503-2725-1},
	shorttitle = {Formal {Modelling} of {Dynamic} {Instantiation} of {Input} {Devices} and {Interaction} {Techniques}},
	url = {http://doi.acm.org/10.1145/2607023.2610286},
	doi = {10.1145/2607023.2610286},
	abstract = {Representing the behavior of multi-touch interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques. Indeed, multi-touch interactive systems embed specific constraints that are either cumbersome or impossible to capture with classical formal description techniques. This is due to both the idiosyncratic nature of multi-touch technology (e.g. the fact that each finger represent an input device and that gestures are directly performed on the surface without an additional instrument) and the high dynamicity of interactions usually encountered in this kind of systems. This paper presents a formal description technique able to model multi-touch interactive systems. We focus the presentation on how to represent the dynamic instantiation of input devices (i.e. finger) and how they can then be exploited dynamically to offer a multiplicity of interaction techniques which are also dynamically instantiated},
	urldate = {2014-06-26TZ},
	booktitle = {Proceedings of the 2014 {ACM} {SIGCHI} {Symposium} on {Engineering} {Interactive} {Computing} {Systems}},
	publisher = {ACM},
	author = {Hamon, Arnaud and Palanque, Philippe and Cronel, Martin and André, Raphaël and Barboni, Eric and Navarre, David},
	year = {2014},
	pages = {173--178}
}

Downloads: 0

{"_id":"JPfgu7C9gwgHNeQmC","bibbaseid":"hamon-palanque-cronel-andr-barboni-navarre-formalmodellingofdynamicinstantiationofinputdevicesandinteractiontechniquesapplicationtomultitouchinteractions-2014","downloads":0,"creationDate":"2016-10-05T13:48:42.713Z","title":"Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-touch Interactions","author_short":["Hamon, A.","Palanque, P.","Cronel, M.","André, R.","Barboni, E.","Navarre, D."],"year":2014,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/alanlivio","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"New York, NY, USA","series":"EICS '14","title":"Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-touch Interactions","isbn":"978-1-4503-2725-1","shorttitle":"Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques","url":"http://doi.acm.org/10.1145/2607023.2610286","doi":"10.1145/2607023.2610286","abstract":"Representing the behavior of multi-touch interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques. Indeed, multi-touch interactive systems embed specific constraints that are either cumbersome or impossible to capture with classical formal description techniques. This is due to both the idiosyncratic nature of multi-touch technology (e.g. the fact that each finger represent an input device and that gestures are directly performed on the surface without an additional instrument) and the high dynamicity of interactions usually encountered in this kind of systems. This paper presents a formal description technique able to model multi-touch interactive systems. We focus the presentation on how to represent the dynamic instantiation of input devices (i.e. finger) and how they can then be exploited dynamically to offer a multiplicity of interaction techniques which are also dynamically instantiated","urldate":"2014-06-26TZ","booktitle":"Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems","publisher":"ACM","author":[{"propositions":[],"lastnames":["Hamon"],"firstnames":["Arnaud"],"suffixes":[]},{"propositions":[],"lastnames":["Palanque"],"firstnames":["Philippe"],"suffixes":[]},{"propositions":[],"lastnames":["Cronel"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["André"],"firstnames":["Raphaël"],"suffixes":[]},{"propositions":[],"lastnames":["Barboni"],"firstnames":["Eric"],"suffixes":[]},{"propositions":[],"lastnames":["Navarre"],"firstnames":["David"],"suffixes":[]}],"year":"2014","pages":"173--178","bibtex":"@inproceedings{hamon_formal_2014,\n\taddress = {New York, NY, USA},\n\tseries = {{EICS} '14},\n\ttitle = {Formal {Modelling} of {Dynamic} {Instantiation} of {Input} {Devices} and {Interaction} {Techniques}: {Application} to {Multi}-touch {Interactions}},\n\tisbn = {978-1-4503-2725-1},\n\tshorttitle = {Formal {Modelling} of {Dynamic} {Instantiation} of {Input} {Devices} and {Interaction} {Techniques}},\n\turl = {http://doi.acm.org/10.1145/2607023.2610286},\n\tdoi = {10.1145/2607023.2610286},\n\tabstract = {Representing the behavior of multi-touch interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques. Indeed, multi-touch interactive systems embed specific constraints that are either cumbersome or impossible to capture with classical formal description techniques. This is due to both the idiosyncratic nature of multi-touch technology (e.g. the fact that each finger represent an input device and that gestures are directly performed on the surface without an additional instrument) and the high dynamicity of interactions usually encountered in this kind of systems. This paper presents a formal description technique able to model multi-touch interactive systems. We focus the presentation on how to represent the dynamic instantiation of input devices (i.e. finger) and how they can then be exploited dynamically to offer a multiplicity of interaction techniques which are also dynamically instantiated},\n\turldate = {2014-06-26TZ},\n\tbooktitle = {Proceedings of the 2014 {ACM} {SIGCHI} {Symposium} on {Engineering} {Interactive} {Computing} {Systems}},\n\tpublisher = {ACM},\n\tauthor = {Hamon, Arnaud and Palanque, Philippe and Cronel, Martin and André, Raphaël and Barboni, Eric and Navarre, David},\n\tyear = {2014},\n\tpages = {173--178}\n}\n\n","author_short":["Hamon, A.","Palanque, P.","Cronel, M.","André, R.","Barboni, E.","Navarre, D."],"key":"hamon_formal_2014","id":"hamon_formal_2014","bibbaseid":"hamon-palanque-cronel-andr-barboni-navarre-formalmodellingofdynamicinstantiationofinputdevicesandinteractiontechniquesapplicationtomultitouchinteractions-2014","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2607023.2610286"},"downloads":0},"search_terms":["formal","modelling","dynamic","instantiation","input","devices","interaction","techniques","application","multi","touch","interactions","hamon","palanque","cronel","andré","barboni","navarre"],"keywords":[],"authorIDs":[],"dataSources":["tudya6YojbqEiF783"]}