Authors:
Dhaminda B. Abeywickrama
and
Sita Ramakrishnan
Affiliation:
Monash University, Australia
Keyword(s):
Pervasive services, Model-driven development, Model checking, Aspect-oriented modeling.
Related
Ontology
Subjects/Areas/Topics:
Agile Methodologies
;
Communication and Software Technologies and Architectures
;
Cross-Feeding between Data and Software Engineering
;
e-Business
;
Enterprise Information Systems
;
Formal Methods
;
Languages, Tools and Architectures
;
Model-Driven Engineering
;
Model-Driven Software Development
;
Service-Oriented Architectures
;
Service-Oriented Software Engineering and Management
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Software Project Management
;
Technology Platforms
Abstract:
Context-dependent information has several qualities that make pervasive services challenging compared to conventional Web services. Therefore, sound software engineering practices are needed during their development, execution and validation. This paper establishes a framework to evaluate pervasive service-oriented software architectures. The method of evaluation is based on key features comparison. The framework consists of two views: vertical and horizontal. The vertical evaluation compares several research tools to the Aspectual FSP Generation tool developed in this research. The tools are compared across the platformindependent and platform-specific levels of the model-driven architecture. The horizontal evaluation view is designed to validate several desired key features that are mainly required at the platform-specific level of the service specification. These criteria mainly cover two aspects: formal methods and tools employed, and the context and adaptation dimensions of the
customization approach used in the services. The vertical evaluation has demonstrated that the Aspectual FSP Generation tool has unique features in context-dependent behavioral modeling and code generation. The horizontal evaluation has shown that the formal methods and tools employed, and the customization approach used in the services are effective towards the overall objectives of this research. The approach is explored using a real-world case study in intelligent transport.
(More)