Towards a method for business process and informal business rules compliance

Journal of software: Evolution and Process

Volumn 24, Issue 3, 2012, Pages 341-360

  De Nicola, Antonio ^a,b   Missikoff, Michele ^a   Smith, Fabrizio ^a,c  

^a CNR   (Italy)

^b ENEA   (Italy)

^c UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Business process modeling; Business process querying; Business process reengineering; Business rules; Semantic annotation

Indexed keywords

DECISION TABLES; KNOWLEDGE BASED SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS; ONTOLOGY; REENGINEERING; SEMANTICS;

BUSINESS PROCESS; BUSINESS PROCESS MODEL; BUSINESS PROCESS RE-ENGINEERING; BUSINESS RULES; SEMANTIC ANNOTATIONS;

MODELING LANGUAGES;

EID: 84863315094     PISSN: None     EISSN: 20477481     Source Type: Journal    
DOI: 10.1002/smr.553     Document Type: Article

References (28)

1. De Nicola A, Missikoff M, Proietti M, Smith F. An open platform for business process modeling and verification, international conference on database and expert systems applications. Proc. DEXA 2010. LNCS 6261. Springer, 2010; 66-90.
2. D'Antonio F, Missikoff M, Taglino F. Formalizing the OPAL eBusiness ontology design patterns with OWL. In the 3rd I-ESA Conference, 2007.
3. Lloyd JW. Foundations of Logic Programming (2nd edn). Springer-Verlag: Berlin, 1987.
4. OMG: business process model and notation. Version 2.0, August 2009. (Available from: http://www.omg.org/spec/BPMN/2.0)
5. OWL 2: profiles. (Available from: http://www.w3.org/TR/owl2-profiles)
6. Grosof BN, Horrocks I, Volz R, Decker S. Description logic programs: combining logic programs with description logic. Proc. 12th Int. Conf. on World Wide Web. ACM Press, 2003; 48-57.
7. Missikoff M, Proietti M, Smith F. Linking ontologies to business process schemas. IASI-CNR, Technical Report, 2010; 10-20.
8. Ly L, Rinderle S, Dadam P. Design and verification of instantiable compliance rule graphs in process-aware information systems. Proc. of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10), Hammamet, Tunisia, 09-11 June 2010.
9. Pesic M. Constraint-based workflow management systems: shifting control to users. PhD thesis, Eindhoven University of Technology, 2008.
10. Missikoff M, Proietti M, Smith F. Querying semantically annotated business processes. IASI-CNR, Technical Report, 2010; 10-22.
11. The XSB logic programming system. Version 3.1, Aug. 2007, (Available from: http://xsb.sourceforge.net)
12. Abiteboul S, Hull R, Vianu V. Foundations of Databases. Addison-Wesley, 1995.
13. XPDL 2.1 complete specification. Oct. 2008. (Available from: http://www.wfmc.org/xpdl.html)
14. Montali M, Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P. Verification from declarative specifications using logic programming. ICLP 2008, LNCS 5366, 2008; 440-454.
15. Governatori G, Milosevic Z, Sadiq S. Compliance checking between business processes and business contracts. EDOC'06. IEEE Computer Society, 2006; 221-232.
16. Bonner AJ, Kifer M. Concurrency and communication in transaction logic. Joint International Conference and Symposium on Logic Programming, 1996.
17. Governatori G, Milosevic Z. A formal analysis of a business contract language. International Journal of Cooperative Information Systems 2006; 15(4):659-685. (Pubitemid 44600123)
18. Roman D, Kifer M. Reasoning about the behavior of semantic web services with concurrent transaction logic. VLDB, 2007.
19. Awad A, Decker G, Weske, M. Efficient compliance checking using BPMN-Q and temporal logic. Proc. BPM 2008. LNCS 5240, 2008; 326-341.
20. Fu X, Bultan T, Su J. Analysis of interacting BPEL web services. Proc. Int. World Wide Web Conf., 2004.
21. Liu Y, Muller S, Xu K. A static compliance-checking framework for business process models. IBM Systems Journal 2007; 46:335-361. (Pubitemid 46915268)
22. Awad A, Weidlich M, Weske M. Specification, verification and explanation of violation for data aware compliance rules. ICSOC/ServiceWave 2009; 500-515.
23. Ly L, Rinderle S, Dadam P. Integration and verification of semantic constraints in adaptive process management systems. Data and Knowledge Engineering 2008; 64(1):3-23. (Pubitemid 350087284)
24. Namiri K, Stojanovic N. Pattern-based design and validation of business process compliance. Proceedings of OTM Federated Conferences, Cooperated Information Systems (CoopIS), 2007; 59-76.
25. Dwyer MB, Avrunin GS, Corbett JC. Patterns in property specifications for finite-state verification. Proc. ICSE'99, 1999; 411-420.
26. Yu J, Manh TP, Han J, Jin Y, Han Y, Wang J. Pattern based property specification and verification for service composition. WISE. Volume 4255 of LNCS, Springer, 2006; 156-168. (Pubitemid 44860413)
27. Smith RL, Avrunin GS, Clarke LA, Osterweil LJ. Propel: an approach supporting property elucidation. 24th Intl. Conf. on Software Engineering, 2002.
28. De Coi JL, Fuchs NE, Kaljurand K, Kuhn T. Controlled english for reasoning on the semantic web. Semantic Techniques for the Web. The REWERSE Perspective, number 5500 in Lecture Notes in Computer Science, Bry F, Maluszynski J (eds.). Springer, 2009; 276-308.