@conference{9023,

title = {Formal analysis of ubiquitous computing environments through the APEX framework},

author = {J. L. Silva and JoséC. Campos and Michael Harrison},

isbn = {978-1-4503-1168-7},

year  = {2012},

date = {2012-01-01},

booktitle = {EICS textquoteright12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems},

pages = {131–140},

publisher = {ACM},

address = {New York, NY, USA},

organization = {ACM},

abstract = {Ubiquitous computing (ubicomp) systems involve complex interactions between multiple devices and users. This complexity makes it difficult to establish whether: (1) observations made about use are truly representative of all possible interactions; (2) desirable characteristics of the system are true in all possible scenarios. To address these issues, techniques are needed that support an exhaustive analysis of a systemtextquoterights design. This paper demonstrates one such exhaustive analysis technique that supports the early evaluation of alternative designs for ubiquitous computing environments. The technique combines models of behavior within the environment with a virtual world that allows its simulation. The models support checking of properties based on patterns. These patterns help the analyst to generate and verify relevant properties. Where these properties fail then scenarios suggested by the failure provide an important aid to redesign. The proposed technique uses APEX, a framework for rapid prototyping of ubiquitous environments based on Petri nets. The approach is illustrated through a smart library example. Its benefits and limitations are discussed.},

keywords = {},

pubstate = {published},

tppubtype = {conference}

}

@conference{9241b,

title = {The APEX framework: prototyping of ubiquitous environments based on Petri nets},

author = {J. L. Silva and Óscar R. Ribeiro and Joao M. Fernandes and JoséC. Campos and Michael D. Harrison},

isbn = {3-642-16487-0, 978-3-642-16487-3},

year  = {2010},

date = {2010-01-01},

booktitle = {HCSEtextquoteright10 Proceedings of the Third international conference on Human-centred software engineering},

pages = {6–21},

publisher = {Springer-Verlag},

address = {Berlin, Heidelberg},

organization = {Springer-Verlag},

abstract = {<p>The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anticipate potential user problems, and to reduce the cost of redesign. However, the development of early prototypes to be evaluated in the target environment can be disruptive to the ongoing system and therefore unacceptable. This paper reports on an ongoing effort to explore how model-based rapid prototyping of ubiquitous environments might be used to avoid actual deployment while still enabling users to interact with a representation of the system. The paper describes APEX, a framework that brings together an existing 3D Application Server with CPN Tools. APEX-based prototypes enable users to navigate a virtual world simulation of the envisaged ubiquitous environment. The APEX architecture and the proposed CPN-based modelling approach are described. An example illustrates their use.</p>},

keywords = {},

pubstate = {published},

tppubtype = {conference}

}

@conference{9241,

title = {The APEX framework: prototyping of ubiquitous environments based on Petri nets},

author = {J L Silva and Óscar R Ribeiro and Joao M Fernandes and JoséC. Campos and Michael D Harrison},

isbn = {3-642-16487-0, 978-3-642-16487-3},

year  = {2010},

date = {2010-01-01},

booktitle = {HCSEtextquoteright10 Proceedings of the Third international conference on Human-centred software engineering},

pages = {6–21},

publisher = {Springer-Verlag},

address = {Berlin, Heidelberg},

organization = {Springer-Verlag},

abstract = {<p>The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anticipate potential user problems, and to reduce the cost of redesign. However, the development of early prototypes to be evaluated in the target environment can be disruptive to the ongoing system and therefore unacceptable. This paper reports on an ongoing effort to explore how model-based rapid prototyping of ubiquitous environments might be used to avoid actual deployment while still enabling users to interact with a representation of the system. The paper describes APEX, a framework that brings together an existing 3D Application Server with CPN Tools. APEX-based prototypes enable users to navigate a virtual world simulation of the envisaged ubiquitous environment. The APEX architecture and the proposed CPN-based modelling approach are described. An example illustrates their use.</p>},

keywords = {},

pubstate = {published},

tppubtype = {conference}

}