dc.contributor.author | Achilleos, Achilleas P. | en |
dc.contributor.author | Kapitsaki, Georgia M. | en |
dc.contributor.author | Papadopoulos, George Angelos | en |
dc.creator | Achilleos, Achilleas P. | en |
dc.creator | Kapitsaki, Georgia M. | en |
dc.creator | Papadopoulos, George Angelos | en |
dc.date.accessioned | 2019-11-13T10:38:09Z | |
dc.date.available | 2019-11-13T10:38:09Z | |
dc.date.issued | 2012 | |
dc.identifier.isbn | 978-0-7695-4914-9 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53486 | |
dc.description.abstract | The development of context-aware applications is a complex process that involves the tasks of analysis, design, validation and implementation. This process is typically performed using context modelling approaches that consider context-awareness and apply static context model validation, at the modelling level, using Object Constraint Language rules. This paper proposes a framework that combines the Model Driven Engineering paradigm with the Petri Nets formalism to support the development of context-aware applications. In contrast to existing context modelling approaches, the focus is on dynamic validation of context-aware applications using Petri Nets. Dynamic validation complements the static validation of context models and ensures the validity of the operational semantics of context-aware applications. The applicability of the framework presented in this work is exemplified through the development of a context-aware application prototype. © 2012 IEEE. | en |
dc.source | Proceedings - 15th IEEE International Conference on Computational Science and Engineering, CSE 2012 and 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2012 | en |
dc.source | 15th IEEE International Conference on Computational Science and Engineering, CSE 2012 and 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2012 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874090431&doi=10.1109%2fICCSE.2012.79&partnerID=40&md5=2044f075fe1864a2ab86f61487864ea2 | |
dc.subject | Petri nets | en |
dc.subject | Computer applications | en |
dc.subject | Context aware applications | en |
dc.subject | Context-awareness | en |
dc.subject | Complex Processes | en |
dc.subject | Context modelling | en |
dc.subject | Context models | en |
dc.subject | Context-aware applications | en |
dc.subject | Model driven engineering | en |
dc.subject | Model validation | en |
dc.subject | Model-driven Engineering | en |
dc.subject | Object Constraint Language | en |
dc.subject | ON dynamics | en |
dc.subject | Operational semantics | en |
dc.subject | Ubiquitous computing | en |
dc.title | A framework for dynamic validation of context-aware applications | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/ICCSE.2012.79 | |
dc.description.startingpage | 532 | |
dc.description.endingpage | 539 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: IEEE Comput. Soc. Tech. Comm. Scalable Comput. (TCSC) | en |
dc.description.notes | University of Cyprus | en |
dc.description.notes | IEEE | en |
dc.description.notes | IEEE Computer Society | en |
dc.description.notes | Conference code: 95616 | en |
dc.description.notes | Cited By :1</p> | en |
dc.contributor.orcid | Kapitsaki, Georgia M. [0000-0003-3742-7123] | |
dc.contributor.orcid | Achilleos, Achilleas P. [0000-0002-7661-0302] | |
dc.contributor.orcid | Papadopoulos, George Angelos [0000-0001-9250-4916] | |
dc.gnosis.orcid | 0000-0003-3742-7123 | |
dc.gnosis.orcid | 0000-0002-7661-0302 | |
dc.gnosis.orcid | 0000-0001-9250-4916 | |