.png){kind=icon}
返回
Context-Aware Services Engineering: Models, Transformations, and Verification
.png){kind=icon}
PRE
AI
DOI：10.1145/2078316.2078318.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Context-aware Web services are identified as an important technology to support new applications on the future Internet. Context information has several qualities that make the development of these services challenging, compared to conventional, Web services. Therefore, sound software engineering practices are needed during their development and execution. This article discusses a novel software engineering-based approach, which leverages the benefits of model-driven architecture, aspect-oriented modeling, and formal model checking, for modeling and verifying context-aware services. The approach is explored using a real-world case study in intelligent transport. An evaluation framework is established to validate the main methods and tools employed.
Keyword:
Design
Verification
Aspect-oriented modeling
context-aware services
model checking
model-driven development
software architecture
software engineering
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
896
被引数:
1.9K
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏
没有更多内容
没有更多内容