Context-Aware Services Engineering: Models, Transformations, and Verification

被引：12

作者：

Abeywickrama, Dhaminda B. ^{[1
]}

Ramakrishnan, Sita ^{[1
]}

机构：

[1] Monash Univ, Fac Informat Technol, Clayton, Vic 3800, Australia

来源：

ACM TRANSACTIONS ON INTERNET TECHNOLOGY | 2012年 / 11卷 / 03期

关键词：

Design; Verification; Aspect-oriented modeling; context-aware services; model checking; model-driven development; software architecture; software engineering;

D O I：

10.1145/2078316.2078318

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页数：28

共 35 条

[1]

Abeywickrama D., 2008, P 5 INT C PERV SERV, P57

[2]

ABEYWICKRAMA D. B., 2008, P 3 WORKSH SOFTW ENG, P3

[3]

ABEYWICKRAMA D. B., 2010, PERVASIVE SERVICES E

[4]

ABEYWICKRAMA D. B., 2011, EVALUATION NOVEL APP, V275, P98

[5] Model-Driven Development of Aspectual Pervasive Software Services [J].

Abeywickrama, Dhaminda B. ;

Ramakrishnan, Sita .

2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2010), 2010, :49-59

[6]

Achilleos Achilleas, 2008, 2008 International Wireless Communications and Mobile Computing Conference Conference, P309, DOI 10.1109/IWCMC.2008.54

[7] Contextualization as an independent abstraction mechanism for conceptual modeling [J].

Analyti, Anastasia ;

Theodorakis, Manos ;

Spyratos, Nicolas ;

Constantopoulos, Panos .

INFORMATION SYSTEMS, 2007, 32 (01) :24-60

[8]

AUTILI M., 2009, LECT NOTES COMPUTER, V4749, P442

[9] Formal methods: State of the art and future directions [J].

Clarke, EM ;

Wing, JM .

ACM COMPUTING SURVEYS, 1996, 28 (04) :626-643

[10]

Clarke EM, 1999, MODEL CHECKING, P1

← 1 2 3 4 →