Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Model-Driven Development of Aspectual Pervasive Software Services

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Abeywickrama, D.B. ; Fac. of Inf. Technol., Monash Univ., Melbourne, VIC, Australia ; Ramakrishnan, S.

Context information is characterized by several qualities that make pervasive services challenging compared to conventional Web services. The additional complexities associated with pervasive services require solid software engineering practices. This paper presents a novel approach based on model-driven development for representing complex crosscutting context-dependent functionality in service interfaces in a modular manner and automating the generation of state machine-based adaptive behavior using model transformations. Using transformations we ensure the correct separation of concerns of the crosscutting context-dependent information at both semi-informal UML modeling and formal behavioral specification levels. A tool applying an effective pipeline of model-to-model and model-to-text transformations has been built and successfully applied to a real-world case study in intelligent transport. The generated context-dependent adaptive behavior and core service behavior for the pervasive services are rigorously verified using formal model checking against specified system properties. An evaluation framework has been established to validate the main methods and tools employed in the study.

Published in:

Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2010 14th IEEE International

Date of Conference:

25-29 Oct. 2010