Automatic Generation of the SWS- Challenge Mediator with jABC/ABC

[1]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[2]  Tiziana Margaria,et al.  FormulaBuilder: a tool for graph-based modelling and generation of formulae , 2006, ICSE.

[3]  Sheila A. McIlraith,et al.  Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation , 2003, SEMWEB.

[4]  Tiziana Margaria,et al.  Synthesizing the Mediator with jABC/ABC , 2008, EON.

[5]  Kathi Fisler,et al.  Toward diagrammability and efficiency in event-sequence languages , 2003, International Journal on Software Tools for Technology Transfer.

[6]  Bernhard Steffen,et al.  Full Life-Cycle Support for End-to-End Processes , 2007, Computer.

[7]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[8]  Tiziana Margaria,et al.  LTL Guided Planning: Revisiting Automatic Tool Composition in ETI , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).

[9]  Tiziana Margaria,et al.  Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[10]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

[11]  Tiziana Margaria,et al.  Service-Oriented Mediation with jETI/jABC: Verification and Export , 2007, 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops.

[12]  Tiziana Margaria,et al.  Backtracking-Free Design Planning by Automatic Synthesis in METAFrame , 1998, FASE.

[13]  Tiziana Margaria,et al.  An Approach to Discovery with miAamics and jABC , 2007, 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops.

[14]  Tiziana Margaria,et al.  The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison , 2016, ICEIS.

[15]  Tiziana Margaria,et al.  An Approach to Intelligent Software Library Management , 1995, DASFAA.

[16]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.

[17]  Tiziana Margaria,et al.  Heterogeneous Analysis and Verification for Distributed Systems , 1996, Softw. Concepts Tools.