AN EVALUATION FRAMEWORK FOR VALIDATING ASPECTUAL PERVASIVE SOFTWARE SERVICES
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.
Pervasive services Model-driven development Model checking Aspect-oriented modeling
Dhaminda B. Abeywickrama Sita Ramakrishnan
Faculty of Information Technology, Monash University, Clayton Campus, Melbourne, Australia
国际会议
13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)
北京
英文
1720-1731
2011-06-08（万方平台首次上网日期，不代表论文的发表时间）