Biblio

List
Filter

Export 383 results:

Thesis

Pesic, M., Constraint-Based Workflow Management Systems: Shifting Controls to Users, : Beta Research School for Operations Management and Logistics, Eindhoven, 2008.

Goedertier, S., Declarative Techniques for Modeling and Mining Business Processes, : Katholieke Universiteit Leuven, 2008.

van Dongen, B. F., Process Mining and Verification, : {Eindhoven University of Technology}, 2007.

Xanthakos, I., Semantic Integration of Information by Abduction, : Imperial College London, 2003.

Montali, M., Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, : University of Bologna, pp. 335, 2009.

Chesani, F., Specification, Execution and Verification of Interaction Protocols: an Approach based on Computational Logic, : University of Bologna, 2007.

Miscellaneous

Andrieux, A., K. Czajkowski, A. Dan, K. Keahey, H. Ludwig, T. Nakata, J. Pruyne, J. Rofrano, S. Tuecke, and M. Xu, Web Services Agreement Specification (WS-Agreement), : Grid Resource Allocation Agreement Protocol (GRAAP) WG, 2007.

Apt, K. R., A New Definition of SLDNF-Resolution, : CWI (Centre for Mathematics and Computer Science), 1992.

Andrews, T., F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, et al., Business Process Execution Language for Web Services, Version 1.1, , 2003.

White, S. A., Business Process Modeling Notation Specification 1.0, : OMG, 2006.

Object Management Group, Business Process Modeling Notation Version 1.1, : Object Management Group Final Adopted Specification, 2008.

Pesic, M., D. Bosnacki, and W. Aalst, Enacting Declarative Languages using LTL: Avoiding Errors and Improving Performance, , no. 09-14: Technische Universiteit Eindhoven, 2009.

{Foundation for Intelligent Physical Agents}, FIPA Communicative Act Library Specification, Interaction Protocol XC00037H, : FIPA Consortium, 2001.

Object Management Group, OMG Unified Modeling Language (OMG UML), Superstructure. Version 2.2, : Object Management Group Standard, 2009.

Clark, K. L., Predicate Logic as a Computational Formalism, : Imperial College, Department of Computing, 1979.

Workflow Management Coalition, Process Definition Interface – XML Process Definition Language, , 2.1a: The Workflow Management Coalition, 2008.

Gudgin, M., M. Hadley, N. Mendelsohn, J. - J. Moreau, H. F. Nielsen, A. Karmarkar, and Y. Lafon, Simple Object Access Protocol (SOAP) Version 1.2, : World Wide Web Consortium (W3C) Recommendation, 2007.

Benbernou, S., L. Cavallaro, M. S. Hacid, R. Kazhamiakin, G. Kecskemeti, J. - L. Poizat, F. Silvestri, M. Uhlig, and B. Wetzstein, State of the Art Report, Gap Analysis of Knowledge on Principles, Techniques and Methodologies for Monitoring and Adaptation of SBAs, : S-Cube European Network, 2008.

Havelund, K., and G. Rosu, Testing Linear Temporal Logic Formulae on Finite Execution Traces, , no. TR 01-08: RIACS Technical Report, 2001.

Bauer, B., M. Cossentino, S. Cranefield, M. P. Huget, K. Kearney, R. Levy, M. Nodine, J. Odell, R. Cervenka, P. Turci, et al., The FIPA Agent UML Web Site, , 2007.

UDDI Committee, Universal Description, Discovery and Integration (UDDI) Version 2.04 API Specification, : OASIS Standard, 2002.

OASIS Web Services Business Process Execution Language(WSBPEL) Technical Committee, Web Service Business Process Execution Language Version 2.0, : OASIS Standard, 2007.

Kavantzas, N., D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto, Web Services Choreography Description Language Version 1.0, : World Wide Web Consortium (W3C) Candidate Recommendation, 2005.

Chinnici, R., J. - J. Moreau, A. Ryman, and S. Weerawarana, Web Services Description Language (WSDL) Version 2.0, : World Wide Web Consortium (W3C) Recommendation, 2007.

Journal Article

Montali, M., P. Torroni, M. Alberti, F. Chesani, E. Lamma, and P. Mello, "Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes", Fundamenta Informaticae, vol. 102, issue 3-4: IOS Press, pp. 325-361, 11/2010.