Home

Biblio

Export 383 results:
Sort by: Author [ Title (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
N
Cimatti, A., E. M. Clarke, F. Giunchiglia, and M. Roveri, "NuSMV: a New Symbolic Model Checker}", {Software Tools for Technology Transfer}, vol. 2, no. 4, pp. 410-425, 2000.
B
Bryl, V., P. Mello, M. Montali, P. Torroni, and N. Zannone, "B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification}", Post-Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Revised Selected and Invited Papers, vol. 5056: Springer, pp. 157-176, 2008.
W
Aalst, W., A. H. M. ter Hofstede, B. Kiepuszewski, and A. Barros, "Workflow Patterns", Distributed and Parallel Databases, vol. 14, no. 1, pp. 5-51, 2003.
Aalst, W., T. Weijters, and L. Maruster, "Workflow Mining: Discovering Process Models from Event Logs", IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 9, pp. 1128-1142, 2004.
Aalst, W., B. F. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A. J. M. M. Weijters, "Workflow Mining: A Survey of Issues and Approaches", Data and Knowledge Engineering, vol. 47, no. 2, pp. 237-267, 2003.
L., G., D., and M., "When are Two Web Services Compatible?", Proceedings of the 5th International Workshop on Technologies for E-Services (TES 2004), pp. 15-28, 2004.
Kafalı, Ö., F. Chesani, and P. Torroni, "What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior", Computational Logic in Multi-Agent Systems, vol. 6245: Springer Berlin / Heidelberg, pp. 82-98, 2010. Abstract
Casella, G., and V. Mascardi, "West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware}", Agent-Oriented Software Engineering, pp. 396-434, 2007.
Peltz, C., "Web Services Orchestration and Choreography", IEEE Computer, vol. 36, no. 10, pp. 46-52, 2003.
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.
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.
Roman, D., U. Keller, H. Lausen, J. de Bruijn, R. Lara, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel, "Web Service Modeling Ontology", Applied Ontology, vol. 1(1), pp. 77 - 106, 2005.
D., A. Rozinat, and T.A., "Web Service Interfaces", Proceedings of the 14th international World Wide Web Conference (WWW2005), pp. 148-159, 2005.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Web Service contracting: Specification and Reasoning with SCIFF", Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
Aalst, W., M. Dumas, and A. H. M. ter Hofstede, "Web Service Composition Languages: Old Wine in New Bottles?", Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture: IEEE Computer Society, pp. 298–305, 2003.
OASIS Web Services Business Process Execution Language(WSBPEL) Technical Committee, Web Service Business Process Execution Language Version 2.0, : OASIS Standard, 2007.
V
Baldoni, M., C. Baroglio, A. Martelli, V. Patti, and C. Schifanella, "Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step", Proceedings of the 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), vol. 3670: Springer, pp. 257-271, 2005.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verifying A-Priori the Composition of Declarative Specified Services", Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME), vol. 494: CEUR Workshop Proceedings, 2009.
Aalst, W., "Verification of Workflow Nets", Proceedings of the 18th International Conference on Application and Theory of Petri Nets 1997, vol. 1248: Springer, pp. 407-426, 1997.
Deutsch, A., L. Sui, V. Vianu, and D. Zhou, "Verification of Communicating Data-Driven Web Services", Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS '06): ACM Press, pp. 90-99, 2006.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verification of Choreographies During Execution Using the Reactive Event Calculus", Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008), vol. 5387: Springer, pp. 55-72, 2009.
Förster, A., G. Engels, T. Schattkowsky, and R. van der Straeten, "Verification of Business Process Quality Constraints Based on Visual Process Patterns", First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007): IEEE Computer Society, pp. 197-208, 2007.
Montali, M., M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Verification from Declarative Specifications Using Logic Programming", 24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
Montali, M., P. Torroni, M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, and P. Mello, "Verification from Declarative Specifications Using Logic Programming", 15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework", ACM Transactions on Computational Logic (TOCL), vol. 9, no. 4, 2008.