Service-oriented mediation with jETI/jABC: Verification and export

被引：2

作者：

Kubczak, Christian ^{[1
]}

Margaria, Tiziana ^{[2
]}

Steffen, Bernhard ^{[3
]}

Naujokat, Stefan ^{[3
]}

机构：

[1] Univ Dortmund, Chair Software Engn, D-44221 Dortmund, Germany

[2] Univ Potsdam, Chair Serv & Software Engn, Potsdam, Germany

[3] Univ Dortmund, Chair Programming Syst, Dortmund, Germany

来源：

PROCEEDING OF THE 2007 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WORKSHOPS | 2007年

关键词：

D O I：

10.1109/WI-IATW.2007.27

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The paper presents how we solved the Mediation challenge in a model driven, service oriented fashion, how we verify properties of the Mediator via model checking in the jABC, and how to systematically export jABC/jETI orchestrated services as Web services. Due to the lack of maturity of the involved environments and external components, the latter task is less easy and the solutions possible today are less stable than one would expect from these technologies.

引用

页码：144 / +

页数：2

共 8 条

[1]

Emerson E.A., 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, P995, DOI [DOI 10.1016/B978-0-444-88074-1.50021-4, 10.1016/B978-0-444-88074-1.50021-4.]

[2]

JORGES S, 2006, LNCS, V4383

[3]

KARUSSEIT M, 2006, P WWV 06 2 INT C ENT, P53

[4] RESULTS ON THE PROPOSITIONAL MU-CALCULUS [J].

KOZEN, D .

THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) :333-354

[5]

MARGARIA T, 2007, P ICEIS 07 9 INT C E

[6]

MARGARIA T, 2006, IEEE COMPUT, P53

[7]

*WEB SERV MET JAV, 2007, JAV SPEC REQ WEB SER, V181

[8]

ZAREMBA M, 2007, P ICEIS 07 9 INT C E

← 1 →