A model-based approach for engineering pervasive services in SOAs

Authors:
Dhaminda Abeywickrama;Sita Ramakrishnan
Affiliations:
Monash University, Victoria, Australia;Monash University, Victoria, Australia
Venue:
Proceedings of the 5th international conference on Pervasive services
Year:
2008

Citing 8
Cited 1

A Discipline of Programming

A Discipline of Programming
Context Aware Service Provisioning

ICPS '04 Proceedings of the The IEEE/ACS International Conference on Pervasive Services
Concurrency: State Models And Java Programs

Concurrency: State Models And Java Programs
ContextUML: A UML-Based Modeling Language for Model-Driven Development of Context-Aware Web Services Development

ICMB '05 Proceedings of the International Conference on Mobile Business
Efficient exploration of service-oriented architectures using aspects

Proceedings of the 28th international conference on Software engineering
Towards Context-Aware Composition of Web Services

GCC '06 Proceedings of the Fifth International Conference on Grid and Cooperative Computing
Contextualization as an independent abstraction mechanism for conceptual modeling

Information Systems
Model-driven development of context-aware services

DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems

Context-aware services engineering: Models, transformations, and verification

ACM Transactions on Internet Technology (TOIT)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Significant interest exists within the pervasive computing community for representing context-aware services at different stages of the software lifecycle. While most of these efforts have focused on the design and implementation of context-aware services little work has been done at the software architectural level of the software lifecycle. In this paper, we propose a novel model-based approach for modeling and verifying context-aware services and their compositions against specified system properties at architectural level. We explore our approach using a modified subset of an existing transport and logistics case study.