A declarative framework for work process configuration

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM

Volumn 25, Issue 2, 2011, Pages 143-162

  Mayer, Wolfgang ^a   Stumptner, Markus ^a   Killisperger, Peter ^a   Grossmann, Georg ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Configuration; Constraints; Process Design; Workflow Modeling

Indexed keywords

COMPLEX DESIGNS; CONFIGURATION; CONSTRAINT LANGUAGE; CONSTRAINT VIOLATION; CONSTRAINT-BASED; CONSTRAINTS; DEVELOPMENT PROJECT; EXECUTION PATHS; HEURISTIC SEARCH METHODS; INDIVIDUAL COMPONENTS; META MODEL; MODULAR SYSTEM; PROCESS CONFIGURATION; PROCESS IMPROVEMENT; PROCESS MODEL; REAL-WORLD SYSTEM; SEMI-AUTOMATED; TECHNICAL PRINCIPLE; WORK PROCESS; WORKFLOW MODELING;

HEURISTIC METHODS;

PROCESS DESIGN;

EID: 79956106822     PISSN: 08900604     EISSN: 14691760     Source Type: Journal    
DOI: 10.1017/S0890060410000594     Document Type: Conference Paper

References (49)

1. Albert, P., Henocque, L., & Kleiner, M. (2005). Configuration-based workflow composition. Proc. IEEE Int. Conf. Web Services (ICWS), pp. 285- 292, Orlando, FL.
2. Allen, J.F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 823-843.
3. Armbrust, O., Katahira, M., Miyamoto, Y., Münch, J., Nakao, H., & Ocampo, A. (2008). Scoping software process models-initial concepts and experience from defining space standards. Proc. Int. Conf. Software Process (ICSP'08), LNCS, Vol. 5007, pp. 160-172. Berlin: Springer. (Pubitemid 351775444)
4. Asikainen, T., & Männistö, T. (2009). A metamodelling approach to configuration knowledge representation. IJCAI'09Workshop on Configuration, pp. 9-16, Pasadena, CA.
5. Bajec, M., Vavpotič, D., & Krisper, M. (2007). Practice-driven approach for creating project- specific software development methods. Information & Software Technology 49(4), 345-365. (Pubitemid 46162188)
6. Beckert, B., & Trentelman, K. (2005). Second-order principles in specification languages for object-oriented programs. Proc. LPAR, LNCS, Vol. 3835, pp. 154-168. Berlin: Springer. (Pubitemid 43955312)
7. Berglund, A., Boag, S., Chamberlin, D., Fernández, M.F., Kay, M., Robie, J., and Siméon, J. (2007). XML Path Language (XPath) 2.0. World Wide Web Consortium, Recommendation REC-xpath20-20070123.
8. Brinkkemper, S. (1996). Method engineering: Engineering of information systems development methods and tools. Information & Software Technology 38(4), 275-280. (Pubitemid 126375333)
9. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., & Veith, H. (2003). Counterexample- guided abstraction refinement for symbolic model checking. Journal of the ACM 50(5), 752-794.
10. Cytron, R., Ferrante, J., Rosen, B.K.,Wegman, M.N.,& Zadeck, F.K. (1991). Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems 13(4), 451-490.
11. Dausch, M., & Hsu, C. (2006). Engineering service products: The case of mass-customising service agreements for heavy equipment industry. International Journal of Services Technology and Management 7(1), 32-51. (Pubitemid 43029642)
12. Egyed, A., Letier, E., & Finkelstein, A. (2008). Generating and evaluating choices for fixing inconsistencies in UMLdesignmodels. Proc. IEEE Conf. Automated Software Engineering (ASE'08), pp. 99-108, L'Aquila, Italy.
13. Felfernig, A., Friedrich, G., & Jannach, D. (2001). Conceptual modeling for configuration of mass-customizable products. Artificial Intelligence in Engineering 15(2), 165-176. (Pubitemid 32833096)
14. Fitzgerald, B., Russo, N., & O'Kane, T. (2003). Software development method tailoring at Motorola. Communications of the ACM46(4), 65-70.
15. Ginsberg, M., & Quinn, L. (1995). Process tailoring and the software capability maturity model. Technical report. Pittsburgh, PA: Software Engineering Institute (SEI).
16. Heiskala, M., Tiihonen, J., & Soininen, T. (2005). A conceptual model for configurable services. Proc. IJCAI'05Workshop on Configuration, Edinburgh, Scotland.
17. IDS Scheer. (2006). ARIS design platform. Accessed September 8, 2010, at http://www.ids-scheer.com/us/en/ARIS/ARIS-Platform/ARIS-Design- Platform/32390.html
18. Jensen, K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1, 2nd ed. Berlin: Springer-Verlag.
19. Keller, G., Nüttgens, M., & Scheer, A. (1992). Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report 89, Universität des Saarlandes.
20. Killisperger, P. (2010). Instantiation of information systems development processes. PhD Thesis. University of South Australia, School of Computer and Information Science.
21. Killisperger, P., Stumptner, M., Peters, G.,& Stückl, T. (2008). Challenges in software design in large corporations-a case study at Siemens AG. Proc. Int. Conf. Enterprise Information Systems (ICEIS) (3-2), pp. 123-128, Barcelona, Spain.
22. Kindler, E. (2006). On the semantics of EPCs: resolving the vicious circle. Data & Knowledge Engineering 56(1), 23-40. (Pubitemid 41542966)
23. Latvala, T., Biere, A., Heljanko, K., & Junttila, T.A. (2005). Simple is better: Efficient bounded model checking for past LTL. Proc. VMCAI, pp. 380-395, LNCS, Vol. 3385. Berlin: Springer. (Pubitemid 41231373)
24. List, B., & Korherr, B. (2005). A UML 2 profile for business process modeling. In Proc. ER (Workshops), LNCS, Vol. 3770, pp. 85-96. Berlin: Springer.
25. Ly, L.T., Rinderle, S., & Dadam, P. (2008). Integration and verification of semantic constraints in adaptive process management systems. Data & Knowledge Engineering 64(1), 3-23. (Pubitemid 350087284)
26. Magro, D. (2010). F: Conceptual language-based configuration. AI Communications 23(1), 1-46.
27. Mailharro, D. (1998). A classification and constraint-based framework for configuration. Artificial Intelligence for Engineering, Design, Analysis and Manufacturing 12(4), 383-397. (Pubitemid 128508222)
28. Marcus, S., & McDermott, J. (1989). SALT: A knowledge-acquisition language for propose-and-revise systems. Artificial Intelligence 39(1), 1-37.
29. Mayer,W., Thiagarajan, R.,& Stumptner,M. (2009). Service composition as generative constraint satisfaction. Proc. IEEE Int. Conf. Web Services (ICWS), pp. 888-895, Los Angeles.
30. Mendling, J. (2009). Empirical studies in process model verification. T. Petri Nets and Other Models of Concurrency 2, 208-224.
31. Milner, R. (1990). Operational and algebraic semantics of concurrent processes. In Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics (B), pp. 1201-1242. Cambridge, MA: MIT Press.
32. Mittal, S. (1990). Reasoning about resource constraints in configuration tasks. Technical report, Xerox PARC.
33. Muchnick, S.S. (1997). Advanced Compiler Design and Implementation. Pasadena, CA: Morgan Kaufmann.
34. Niknafs, A., & Ramsin, R. (2008). Computer-aided method engineering: An analysis of existing environments. Proc. 20th Int. Conf. Advanced Information Systems Engineering (CAiSE'08), pp. 525-540. Berlin: Springer.
35. Object Management Group. (2006). Object constraint language: OCL specification v2.0 [Computer software]. http://www.omg.org/spec/OCL/2.0/ PDF
36. Rosemann, M., & van der Aalst, W.M.P. (2007). A configurable reference modelling language. Information Systems 32(1), 1-23. (Pubitemid 44537594)
37. Rossi, F., Beek, P.v., &Walsh, T. (2006). Handbook of Constraint Programming. New York: Elsevier Science.
38. Scheer, A.-W. (2000). ARIS-Business Process Modeling, 3rd ed. New York: Springer-Verlag.
39. Schmelzer, H., & Sesselmann, W. (2004). Geschä ftsprozessmanagement in der Praxis: Produktivität steigern-Wert erhöhen-Kunden zufriedenstellen, 4th ed. Munich: Hanser Verlag.
40. Sirin, E., Parsia, B., Wu, D., Hendler, J.A., & Nau, D.S. (2004). HTN planning forWeb Service composition using SHOP2. Journal ofWeb Semantics 1(4), 377-396.
41. Soininen, T., Tiihonen, J., Männistö, T., & Sulonen, R. (1998). Towards a general ontology of configuration. Artificial Intelligence for Engineering, Design, Analysis and Manufacturing 12(4), 357-372. (Pubitemid 128508220)
42. Stumptner, M., Friedrich, G.,& Haselböck, A. (1998). Generative constraintbased configuration of large technical systems. Artificial Intelligence for Engineering, Design, Analysis and Manufacturing 12(4), 307-320. (Pubitemid 128508216)
43. Thomas, O., & Fellmann, M. (2007). Semantic EPC: Enhancing process modeling using ontology languages. Proc. SBPM, CEUR Workshop, Vol. 251. Accessed at http://www.CEUR-WS.org
44. Van der Aalst,W.M.P. (1999). Formalization and verification of event-driven process chains. Information and Software Technology 41(10), 639-650.
45. Van der Aalst,W.M.P. (2000).Workflow verification: Finding control-flowerrors using petri-net-based techniques. In Business Process Management, Models, Techniques, and Empirical Studies (van der Aalst,W.M.P., Desel, J., & Overweis, A., Eds.), pp. 161-183. Berlin: Springer-Verlag.
46. Van der Aalst, W.M.P., & van Hee, K.M. (2004). Workflow Management- Models, Methods, and Systems. Cambridge, MA: MIT Press.
47. Weber, B., Reichert, M., & Rinderle-Ma, S. (2008). Change patterns and change support features enhancing flexibility in process-aware information systems. Data & Knowledge Engineering 66(3), 438-466.
48. WFMC. (2008). WFMC-TC-1025-Oct-10-08A (final XPDL 2.1 specification). Technical report, WFMC. Accessed April 28, 2009, at http:// www.wfmc.org
49. Zeller, A. (2002). Isolating cause-effect chains from computer programs. Proc. Foundations of Software Engineering (SIGSOFT FSE), pp. 1-10, Charleston, SC.