A Framework for Aspectual Pervasive Software Services Evaluation

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 establishes an evaluation framework to evaluate pervasive service-oriented software architectures. The framework consists of two views: vertical, horizontal. Vertical evaluation compares several research tools to the Aspectual FSP Generation tool developed here. They are compared across the platform-independent and platform-specific levels of the architecture. The horizontal evaluation view is designed to validate several desired key features mainly required at the platform-specific level. The vertical evaluation has demonstrated that our 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.