Towards a reference implementation for Data Centric Dynamic Systems

Lecture Notes in Business Information Processing

Volumn 171 171 LNBIP, Issue , 2014, Pages 141-154

  Russo, Alessandro ^a   Mecella, Massimo ^a   Montali, Marco ^b   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PROCESSING;

ACTION EXECUTION; ANALYSIS AND VERIFICATIONS; ARTIFACT-CENTRIC; BUSINESS PROCESS; FORMAL SPECIFICATION AND VERIFICATION; GAINING MOMENTUM; REFERENCE IMPLEMENTATION; RUN-TIME EXECUTION;

ENTERPRISE RESOURCE MANAGEMENT;

EID: 84904549723     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (13)

1. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of PODS (2013).
2. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of Data-Aware Process Analysis: A Database Theory Perspective. In: Proceedings of PODS (2013).
3. Cohn, D., Dhoolia, P., Heath III, F., Pinel, F., Vergo, J.: Siena: from powerpoint to web app in 5 minutes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 722-723. Springer, Heidelberg (2008).
4. Dumas, M.: On the convergence of data and process engineering. In: Eder, J., Bielikova, M., Tjoa, A. M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 19-26. Springer, Heidelberg (2011).
5. Hull, R., Damaggio, E., De Masellis, R. et al.: Business Artifacts with Guard-Stage-Milestone Lifecycles: Managing Artifact Interactions with Conditions and Events. In: Proceedings of DEBS '11 (2011).
6. Kunzle, V., Reichert, M.: PHILharmonicFlows: towards a framework for objectaware process management. J. Softw. Maint. Evol.: Res. Pract. 23(4), 205-244 (2011).
7. Kunzle, V., Weber, B., Reichert, M.: Object-aware business processes: fundamental requirements and their support in existing approaches. Int. J. Inf. Syst. Model. Design (IJISMD) 2(2), 19-46 (2011).
8. Meyer, A., Smirnov, S., Weske, M.: Data in business processes. EMISA Forum 31(3), 5-31 (2011).
9. Pesic, M., Schonenberg, H., van der Aalst, W. M. P.: DECLARE: Full support for loosely-structured processes. In: Proceedings of EDOC (2007).
10. Russell, N., ter Hofstede, A. H. M., Edmond, D., van der Aalst, W. M. P.: Workflow data patterns: identification, representation and tool support. In: Delcambre, L. M. L., Kop, Ch., Mayr, H. C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353-368. Springer, Heidelberg (2005).
11. Solomakhin, D., Montali, M., Tessaris, S., De Masellis, R.: Verification of artifactcentric systems: decidability and modeling issues. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 252-266. Springer, Heidelberg (2013).
12. Swenson, K. D. (ed.): Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press, Tampa (2010).
13. Vaculin, R., Hull, R., Heath, T., Cochran, C., Nigam, A., Sukaviriya, P.: Declarative business artifact centric modeling of decision and knowledge intensive business processes. In: Proceedings of EDOC 2011 (2011).