Abductive synthesis of the mediator scenario with jABC and GEM

CEUR Workshop Proceedings

Volumn 359, Issue , 2008, Pages

  Kubczak, Christian ^a   Margaria, Tiziana ^b   Kaiser, Matthias ^c   Lemcke, Jens ^c   Knuth, Björn ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

^c SAP RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED SYNTHESIS; ENTERPRISE MANAGEMENT; POLICY-ORIENTED; RUNTIMES; SEMANTIC MODELLING;

SEMANTICS;

EID: 84867960945     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Sven Jörges, Christian Kubczak, Ralf Nagel, Tiziana Margaria, and Bernhard Steffen. Modeldriven development with the jABC. In HVC-IBM Haifa Verification Conference, LNCS, Haifa, Israel, October 23-26 2006. IBM, Springer Verlag.
2. M. Kaiser and J. Lemcke. Towards a framework for policy-oriented enterprise management. In AAAI, 2007.
3. Matthias Kaiser. Towards the realization of policy-oriented enterprise management. IEEE Computer Society Special Issue on Service-Oriented Architecture forthcoming, 11:65-71, 2007.
4. Robert A. Kowalski and Marek J. Sergot. A logic-based calculus of events. New Generation Comput., 4(1):67-95, 1986.
5. T. Margaria, M. Bakera, H. Raffelt, and B. Steffen. Synthesizing the mediator with jabc/abc. In EON-SWS Workshop Semantic Web Service Challenge Workshop, this volume, June 2008.
6. T. Margaria and B. Steffen. Service engineering: Linking business and it. IEEE Computer, issue for the 60th anniversary of the Computer Society, pages 53-63, October 2006.
7. Murray Shanahan. Event calculus planning revisited. In Sam Steel and Rachid Alami, editors, ECP, volume 1348 of Lecture Notes in Computer Science, pages 390-402. Springer, 1997.