Exploring the Alloy operational semantics for case management process modeling

Proceedings - International Conference on Research Challenges in Information Science

Volumn , Issue , 2013, Pages

  Rychkova, Irina ^a  

^a UNIVERSITÉ PARIS 1 PANTHÉON SORBONNE   (France)

Author keywords

Alloy; business process modeling; case management; finite state machine

Indexed keywords

ALLOY ANALYZERS; BUSINESS PROCESS; BUSINESS PROCESS MODEL; CASE MANAGEMENT; OPERATIONAL SEMANTICS;

ALLOYING; ALLOYS; CERIUM ALLOYS; COMPUTER PROGRAMMING LANGUAGES; FINITE AUTOMATA; INFORMATION SCIENCE; MANAGEMENT SCIENCE; MATHEMATICAL MODELS; PROCESS ENGINEERING; SEMANTICS; SPECIFICATION LANGUAGES; SYSTEMS ENGINEERING;

MANAGEMENT;

EID: 84884168310     PISSN: 21511349     EISSN: 21511357     Source Type: Conference Proceeding    
DOI: 10.1109/RCIS.2013.6577702     Document Type: Conference Paper

References (35)

1. Davenport, T., Nohria, N.: Case management and the integration of labor. Sloan Management Review 35 (1994) 11-11
2. Davenport, T.: Thinking for a living: How to get better performances and results from knowledge workers. Harvard Business Press (2005)
3. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7) (July 1978) 558-565
4. Rychkova, I.: Towards automated support for case management processes with declarative configurable specifications. 16 65-77
5. Plotkin, G.: A structural approach to operational semantics. (1981)
6. Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2) (April 1959) 114-125
7. Jackson, D.: Software Abstractions-Logic, Language and Analysis. MIT Press (2011)
8. Jackson, D.: Alloy Analyzer tool. http://alloy.mit.edu/alloy/(2011)
9. OMG: Case management process modeling (cmpm) request for proposal. http://www.omg.org/cgi-bin/doc?bmi/09-09-23 (2009)
10. Swenson, K.: Mastering The Unpredictable: How Adaptive Case Management Will Revolutionize The Way That Knowledge Workers Get Things Do. Meghan-Kiffer Press (2010)
11. Pucher, M.: The elements of adaptive case management. Mastering the Unpredictable (2010) 89-134
12. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3) (2003) 428-445
13. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 32(3) (2009)
14. Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., et al.: Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events. In: Proc. of DEBS. (2011)
15. Herrmann, C., Kurz, M.: Adaptive case management: Supporting knowledge intensive processes with it systems. In Schmidt, W., ed.: S-BPM ONE-Learning by Doing-Doing by Learning. Volume 213 of Communications in Computer and Information Science. Springer Berlin Heidelberg (2011) 80-97
16. Rosa, M.L., Soffer, P., eds.: Business Process Management Workshops-BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers. In Rosa, M.L., Soffer, P., eds.: Business Process Management Workshops. Volume 132 of Lecture Notes in Business Information Processing., Springer (2013)
17. Rychkova, I., Nurcan, S.: Towards adaptability and control for knowledge-intensive business processes: Declarative configurable process specifications. In: System Sciences (HICSS), 2011 44th Hawaii International Conference on, IEEE (2011) 1-10
18. Wijngaarden, A.v.: Report on the algorithmic language ALGOL 68. Printing by the Mathematisch Centrum (1969)
19. Rychkova, I.: Formal Semantics for Refinement Verification of Enterprise Models. PhD thesis, EPFL (2008)
20. Van der Aalst, W., Weske, M., Grunbauer, D.: Case handling: a new paradigm for business process support. Data & Knowledge Engineering 53(2) (2005) 129-162
21. Pesic, M., Schonenberg, H., van der Aalst, W.: Declare: Full support for loosely-structured processes. In: Enterprise Distributed Object Computing Conference, 2007. EDOC 2007. 11th IEEE International, IEEE (2007) 287-287
22. van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science-Research and Development 23(2) (2009) 99-113
23. Reichert, M., Rinderle, S., Dadam, P.: Adept workflow management system. In: Business Process Management. Springer (2003) 370-379
24. Bider, I., Johannesson, P., Perjons, E.: Do workflow-based systems satisfy the demands of the agile enterprise of the future? 1659-64
25. Bider, I.: Towards a non-workflow theory of business processes.
26. Soffer, P., Yehezkel, T.: A state-based context-aware declarative process model. In: Enterprise, Business-Process and Information Systems Modeling. Springer (2011) 148-162
27. Dijkstra, E., Dijkstra, E., Dijkstra, E.: Notes on structured programming. Technological University, Department of Mathematics (1970)
28. Gordon, M.J.C., Melham, T.F., eds.: Introduction to HOL: a theorem proving environment for higher order logic. Cambridge University Press, New York, NY, USA (1993)
29. Holzmann, G.J.: The SPIN Model Checker-primer and reference manual. Addison-Wesley (2004)
30. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Progress on the state explosion problem in model checking. In: Informatics, Springer (2001) 176-194
31. Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobald, C., Topic, D.: Spass version 2.0. Automated DeductionCADE-18 (2002) 45-79
32. Paulson, L.: Isabelle: A generic theorem prover. Volume 828. Springer (1994)
33. Snook, C., Butler, M.: Uml-b: Formal modeling and design aided by uml. ACM Trans. Softw. Eng. Methodol. 15(1) (January 2006) 92-122
34. Snook, C., Savicks, V., Butler, M.: Verification of uml models by translation to uml-b. In: Proceedings of the 9th international conference on Formal Methods for Components and Objects. FMCO'10, Berlin, Heidelberg, Springer-Verlag (2011) 251-266
35. Rychkova, I., Kirsch-Pinheiro, M., Le Grand, B.: Context-aware agile business process engine: Foundations and architecture. In: Proceedings of the 14th Business Process Modeling, Development, and Support (BPMDS'13) working conference. (2013) To appear