Ontology-based querying of composite services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7350 LNCS, Issue , 2012, Pages 159-180

  Smith, Fabrizio ^a   Missikoff, Michele ^a   Proietti, Maurizio ^a  

^a CNR   (Italy)

Author keywords

Business Process; Composite Service; Networked Enterprise; Ontology; Query Language; Semantic Annotation

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MODELLING; BUSINESS SCENARIO; COMPOSITE SERVICES; GLOBAL BUSINESS PROCESS; KNOWLEDGE BASE; ONTOLOGY-BASED; REASONING METHODS; SEMANTIC ANNOTATIONS;

KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; ONTOLOGY; QUERY LANGUAGES; SEMANTICS;

INDUSTRY;

EID: 84866426056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32439-0_10     Document Type: Conference Paper

References (26)

1. Papazoglou, M.P.: Web Services: Principles and Technology. Pearson Prentice Hall (2007)
2. ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and its Support Environment. Springer (2010)
3. Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic Business Process Management: a Vision Towards Using Semantic Web Services for Business Process Management. In: Proc. ICEBE 2005, pp. 535-540. IEEE Computer Society (2005)
4. De Nicola, A., Missikoff, M., Proietti, M., Smith, F.: An Open Platform for Business Process Modeling and Verification. In: Bringas, P.G., Hameurlain, A., Quirchmayr, G. (eds.) DEXA 2010, Part I. LNCS, vol. 6261, pp. 76-90. Springer, Heidelberg (2010)
5. De Nicola, A., Missikoff, M., Navigli, R.: A Software Engineering Approach to Ontology Building. Information Systems 34, 258-275 (2009)
6. Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1987)
7. OMG: Business Process Model and Notation (2010), http://www.omg.org/spec/ BPMN/2.0
8. Workflow Management Coalition: XML Process Definition Language (2008), http://www.wfmc.org/xpdl.html
9. Hitzler, P., et al.: OWL 2 Web Ontology Language. W3C Recommendation (2009), http://www.w3.org/TR/owl2-primer
10. Missikoff, M., Proietti, M., Smith, F.: Linking Ontologies to Business Process Schemas. IASI-CNR Technical Report, R. 10-20 (2010)
11. De Nicola, A., Missikoff, M., Smith, F.: Towards a Method for Business Process and Informal Business Rules Compliance. Journal of Software Maintenance and Evolution: Research and Practice (2011) (Published online in Wiley Online Library), doi:10.1002/smr.553
12. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411-420. ACM (1999)
13. Przymusinski, T.C.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193-216. Morgan Kaufmann (1988)
14. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
15. Markovic, I.: Advanced Querying and Reasoning on Business Process Models. In: Abramowicz, W., Fensel, D. (eds.) BIS 2008. LNBIP, vol. 7, pp. 189-200. Springer, Heidelberg (2008)
16. Di Francescomarino, C., Tonella, P.: Crosscutting Concern Documentation by Visual Query of Business Processes. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol. 17, pp. 18-31. Springer, Heidelberg (2009)
17. Haller, A., Gaaloul, W., Marmolowski, M.: Towards an XPDL Compliant Process Ontology. In: Proc. IEEE Congress on Services, pp. 83-86. IEEE Computer Society (2008)
18. Lin, Y.: Semantic Annotation for Process Models: Facilitating Process Knowledge Management via Semantic Interoperability. PhD thesis, Norwegian University of Science and Technology (2008)
19. Burstein, M., et al.: OWL-S, Semantic Markup for Web Services. W3C Member Submission (2004), http://www.w3.org/Submission/OWL-S/
20. Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology 1(1), 77-106 (2005)
21. Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes with BP-QL. Information Systems 33(6), 477-507 (2008)
22. Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. Journal of Visual Languages and Computing 22, 30-55 (2011)
23. Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Verification from Declarative Specifications Using Logic Programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 440-454. Springer, Heidelberg (2008)
24. Roman, D., Kifer, M.: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. In: Proc. VLDB 2007, pp. 627-638. VLDB Endowment (2007)
25. Missikoff, M., Proietti, M., Smith, F.: Querying Semantically Enriched Business Processes. In: Hameurlain, A., Liddle, S.W., Schewe, K.-D., Zhou, X. (eds.) DEXA 2011, Part II. LNCS, vol. 6861, pp. 294-302. Springer, Heidelberg (2011)
26. Pettorossi, A., Proietti, M.: Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming 19, 261-320 (1994)