Reasoning on semantically annotated processes

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

Volumn 5364 LNCS, Issue , 2008, Pages 132-146

  Di Francescomarino, Chiara ^a   Ghidini, Chiara ^a   Rospocher, Marco ^a   Serafini, Luciano ^a   Tonella, Paolo ^a  

^a ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS;

BUSINESS DOMAIN; BUSINESS PROCESS; BUSINESS PROCESS MODEL; CROSS-CUTTING CONCERNS; DOMAIN SPECIFIC; LOGICAL REASONING; PROCESS STRUCTURES; SERVICE PROVISIONING;

QUALITY OF SERVICE;

EID: 58049107321     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89652-4_13     Document Type: Conference Paper

References (27)

1. Jasco: an aspect-oriented approach tailored for component based software development. In: AOSD, pp. 21-29 (2003)
2. Aspect-oriented programming for dynamic web service monitoring and selection. In: Zhang. L.-J. (ed.) ECOWS. LNCS. vol. 3250, pp. 15-29. Springer, Heidelberg (2004)
3. Mezini, M., Charfi, A.: Aspect-oriented web service composition with AO4BPEL. In (LJ) Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol. 3250, pp. 168-182. Springer, Heidelberg (2004)
4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
5. Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: VLDB 2006, pp. 343-354 (2006)
6. Braem, M., Verlaenen, K., Joncheere, N., Vanderperren, W., Van Der Straeten, R., Truyen, E., Joosen, W., Jonckers, V.: Isolating process-level concerns using padus. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 113-128. Springer, Heidelberg (2006)
7. Business Process Management Initiative (BPMI). Business process modeling notation: Specification (2006), http://www.bpmn.org
8. Courbis, C., Finkelstein, A.: Towards aspect weaving applications. In: ICSE 2005: Proc. of the 27th international conference on Software engineering, pp. 69-77. ACM, New York (2005)
9. Curbera, F., Goland, Y., Klein, Y., Leymann, F., Roller, D., Weerawarana, S.: Business process execution language for web services. Web page. Version 1.0 (July 31. 2002)
10. Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of bpmn process models (2007), http://eprints.qut.edu.au/archive/ 00005969/
11. Dimitrov, M., Simov, A., Stein, S., Konstantinov, M.: A bpmo based semantic business process modelling environment. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management at the ESWC, CEUR-WS, vol. 251 (2007)
12. Wetzstein, B., et al.: Semantic business process management: A lifecycle based requirements analysis. In: Proc. of the Workshop on Semantic Business Process and Product Lifecycle Management, CEUR Workshop Proceedings, vol. 251 (2007)
13. Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Reasoning on semantically annotated processes. Technical report, FBK-irst (2008), http://se.fbk.eu
14. Ghidini, C., Rospocher, M., Serafini, L.: A formalisation of BPMN in description logics. Technical Report TR 2008-06-004. FBK-irst (2008)
15. Happel, H.-J., Stojanovic, L.: Ontoprocess - a prototype for semantic business process verification using swrl rules. In: Proc. of the 3rd European Semantic Web Conference (2006)
16. 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: ICEBE 2005: Proceedings of the IEEE International Conference on e-Business Engineering, pp. 535-540. IEEE Computer Society, Los Alamitos (2005)
17. Hornung, T., Koschmider, A., Oberweis, A.: A recommender system for business process models. In: 17th Annual Workshop on Information Technologies and Systems, Decemeber (2007)
18. Koschmider, A., Oberweis, A.: Ontology based business process description. In: Proceedings of the CAiSE 2005 Workshops. LNCS, pp. 321-333. Springer, Heidelberg (2005)
19. De Nicola, A., Lezoche, M., Missikoff, M.: An ontological approach to business process modeling. In: Proceedings of the 3rd Indian International Conference on Artificial Intelligence (IICAI), December 2007, pp. 1794-1813 (2007)
20. Fellmann, M., Thomas, O.: Semantic epc: Enhancing process modeling using ontology languages. In: Proc. of the Workshop on Semantic Business Process and Product Lifecycle Management at the ESWC, CEUR-WS, vol. 251 (2007)
21. OMG. Business process modeling notation, v1.l, http://www.omg.org/spec/ BPMN-/1.1/PDF
22. Seaborne, A., Prud'hommeaux, E.: SPARQL query language for RDF. W3C recommendation, W3C (January 2008), http://www.w3.org/TR/2008/REC-rdf-sparql- query-20080115/
23. Tarr, P.L., Ossher, H., Harrison, W.H., Sutton Jr., S.M.: N degrees of separation: Multi-dimensional separation of concerns. In: Proc. of the International Conference on Software Engineering (ICSE), Los Angeles, CA, USA, pp. 107-119. ACM press, New York (1999)
24. Thomas, O., Fellmann, M.: Semantic epc: Enhancing process modeling using ontology languages. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM), June 2007, pp. 64-75 (2007)
25. Tonella, P., Di Francescomarino, C.: Business process concern documentation and evolution. Technical report, FBK-irst (2008), http://se.fbk.eu
26. Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM) (June 2008)
27. Wong, P., Gibbons, J.: A Relative Timed Semantics for BPMN (submitted, 2008), Extended version http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/ bpmntime.pdf