Paper Info
Title
A model-based approach for engineering pervasive services in SOAs
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.
Year
DOI
Venue
2008
10.1145/1387269.1387279
ICPS
Keywords
Field
DocType
different stage,context-aware service,novel model-based approach,logistics case study,context-aware services,pervasive service,verifying context-aware service,existing transport,software architectures,model-checking,modified subset,architectural level,software architectural level,software lifecycle,model checking,pervasive computing,software architecture
Services computing,Systems engineering,Software engineering,Computer science,Control engineering,Software,Software development process,Component-based software engineering,Software construction,Software verification and validation,Architectural pattern,Social software engineering
Conference
Citations 
PageRank 
References 
5
0.50
8
Authors
2
Name
Order
Citations
PageRank
Dhaminda B. Abeywickrama1758.00
Sita Ramakrishnan25812.36