Synthesizing object life cycles from business process models

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

Volumn 7532 LNCS, Issue , 2012, Pages 307-320

  Eshuis, Rik ^a   Van Gorp, Pieter ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

model transformation; statecharts; UML

Indexed keywords

BUSINESS OBJECTS; BUSINESS PROCESS; BUSINESS PROCESS MODEL; CONFIGURE SOFTWARE; GRAPH TRANSFORMATION; HIERARCHICAL STATECHARTS; MODEL TRANSFORMATION; OBJECT LIFE CYCLE; STATECHARTS; UML; UML ACTIVITY DIAGRAMS;

DATA MINING; MATHEMATICAL MODELS;

LIFE CYCLE;

EID: 84868335605     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34002-4_24     Document Type: Conference Paper

References (18)

1. Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools. Addison-Wesley (1986)
2. Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Proc. ESEC / SIGSOFT FSE, pp. 186-195 (2001)
3. Eshuis, R.: Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 239-255. Springer, Heidelberg (2009)
4. Geiß, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: GrGen: A Fast SPOBased Graph Rewriting Tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 383-397. Springer, Heidelberg (2006)
5. Harel, D., Gery, E.: Executable object modeling with statecharts. IEEE Computer 30(7), 31-42 (1997)
6. Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. Int. Journal of Foundations of Computer Science 13(1), 5-51 (2002)
7. Hecht, M., Ullman, J.: Characterizations of reducible flow graphs. J. ACM 21, 367-375 (1974)
8. Kumaran, S., Liu, R., Wu, F.Y.: On the Duality of Information-Centric and Activity-Centric Models of Business Processes. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 32-47. Springer, Heidelberg (2008)
9. Küster, J.M., Ryndina, K., Gall, H.: Generation of Business Process Models for Object Life Cycle Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165-181. Springer, Heidelberg (2007)
10. Liu, R., Kumar, A.: An Analysis and Taxonomy of Unstructured Workflows. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 268-284. Springer, Heidelberg (2005)
11. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: Proc. ICSE, pp. 54-64. IEEE Computer Society (2007)
12. OMG. Business Process Model and Notation (BPMN) Specification, Version 2.0. Object Management Group (2011), http://www.bpmn.org
13. Redding, G., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: Generating business process models from object behavior models. IS Management 25(4), 319-331 (2008)
14. UML Revision Taskforce. OMG UML Specification v. 1.5. Object Management Group, 2003. OMG Document Number formal/2003-03-01, http://www.uml.org
15. UML Revision Taskforce. UML 2.3 Superstructure Specification. Object Management Group, 2010. OMG Document Number formal (May 05, 2010)
16. Van Gorp, P., Eshuis, R.: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part II. LNCS, vol. 6395, pp. 258-272. Springer, Heidelberg (2010)
17. Whittle, J., Jayaraman, P.K.: Synthesizing hierarchical state machines from expressive scenario descriptions. ACM Trans. Softw. Eng. Methodol. 19(3) (2010)
18. Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE, pp. 314-323 (2000)