메뉴 건너뛰기




Volumn 7849, Issue , 2013, Pages 1-234

Business process models: Change management

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MODEL; DEVELOPMENT APPROACH; DEVELOPMENT ENVIRONMENT; DEVELOPMENT PROCESS; ENTERPRISE SOFTWARE SYSTEMS; INTEGRATED PROCESS MODEL; INTERMEDIATE REPRESENTATIONS; MODEL-DRIVEN DEVELOPMENT;

EID: 84884312596     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article
Times cited : (4)

References (135)
  • 1
    • 0242370962 scopus 로고    scopus 로고
    • Difference and union of models
    • Alanen and Porres, 2003, Stevens, P., Whittle, J., Booch, G. (eds.), Springer, Heidelberg
    • Alanen and Porres, 2003. Alanen, M., Porres, I.: Difference and Union of Models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2-17. Springer, Heidelberg (2003)
    • (2003) UML 2003. LNCS , vol.2863 , pp. 2-17
    • Alanen, M.1    Porres, I.2
  • 2
    • 47749138622 scopus 로고    scopus 로고
    • Models in conflict-towards a semantically enhanced version control system for models
    • Altmanninger, 2007, Giese, H. (ed.), Springer, Heidelberg
    • Altmanninger, 2007. Altmanninger, K.: Models in Conflict-Towards a Semantically Enhanced Version Control System for Models. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 293-304. Springer, Heidelberg (2008)
    • (2008) MODELS 2008. LNCS , vol.5002 , pp. 293-304
    • Altmanninger, K.1
  • 4
    • 0003650163 scopus 로고    scopus 로고
    • Baader and Nipkow, 1998, Cambridge University Press, Cambridge
    • Baader and Nipkow, 1998. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
    • (1998) Term Rewriting and All That
    • Baader, F.1    Nipkow, T.2
  • 5
    • 33749649523 scopus 로고    scopus 로고
    • Process mining by measuring process block similarity
    • Bae et al., 2006, Eder, J., Dustdar, S. (eds.), Springer, Heidelberg
    • Bae et al., 2006. Bae, J., Caverlee, J., Liu, L., Yan, H.: Process Mining by Measuring Process Block Similarity. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 141-152. Springer, Heidelberg (2006)
    • (2006) BPM Workshops 2006. LNCS , vol.4103 , pp. 141-152
    • Bae, J.1    Caverlee, J.2    Liu, L.3    Yan, H.4
  • 7
    • 0033680457 scopus 로고    scopus 로고
    • Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation
    • Bottoni et al., 2000, IEEE Computer Society
    • Bottoni et al., 2000. Bottoni, P., Schürr, A., Taentzer, G.: Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In: Proceedings of the, IEEE International Symposium on Visual Languages (VL), pp. 59-60. IEEE Computer Society (2000)
    • (2000) Proceedings of The, IEEE International Symposium on Visual Languages (VL) , pp. 59-60
    • Bottoni, P.1
  • 12
    • 84976766949 scopus 로고
    • The entity-relationship model-toward a unified view of data
    • Chen, 1976
    • Chen, 1976. Chen, P.P.-S.: The entity-relationship model-toward a unified view of data. ACM Trans. Database Syst. 1(1), 9-36 (1976)
    • (1976) ACM Trans. Database Syst. , vol.1 , Issue.1 , pp. 9-36
    • Chen, P.P.-S.1
  • 13
    • 36048951507 scopus 로고    scopus 로고
    • A metamodel independent approach to difference representation
    • Cicchetti et al., 2007
    • Cicchetti et al., 2007. Cicchetti, A., Di Ruscio, D., Pierantonio, A.: A Metamodel Independent Approach to Difference Representation. Journal of Object Technology (JOT) 6(9), 165-185 (2007)
    • (2007) Journal of Object Technology (JOT) , vol.6 , Issue.9 , pp. 165-185
    • Cicchetti, A.1    Di Ruscio, D.2    Pierantonio, A.3
  • 14
    • 56649103524 scopus 로고    scopus 로고
    • Managing model conflicts in distributed development
    • Cicchetti et al., 2008, Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.), Springer, Heidelberg
    • Cicchetti et al., 2008. Cicchetti, A., Di Ruscio, D., Pierantonio, A.: Managing Model Conflicts in Distributed Development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 311-325. Springer, Heidelberg (2008)
    • (2008) MODELS 2008. LNCS , vol.5301 , pp. 311-325
    • Cicchetti, A.1    Di Ruscio, D.2    Pierantonio, A.3
  • 16
    • 84947772746 scopus 로고    scopus 로고
    • The category of typed graph grammars and its adjunctions with categories
    • Corradini et al., 1994, Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.), Springer, Heidelberg
    • Corradini et al., 1994. Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Padberg, J.: The Category of Typed Graph Grammars and its Adjunctions with Categories. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073, pp. 56-74. Springer, Heidelberg (1996)
    • (1996) Graph Grammars 1994. LNCS , vol.1073 , pp. 56-74
    • Corradini, A.1
  • 17
    • 0001006870 scopus 로고    scopus 로고
    • Algebraic approaches to graph transformation part i: Basic concepts and double pushout approach
    • Corradini et al., 1997, Rozenberg, G. (ed.), World Scientific
    • Corradini et al., 1997. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1, pp. 163-245. World Scientific (1997)
    • (1997) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations , vol.1 , pp. 163-245
    • Corradini, A.1
  • 19
    • 34247352506 scopus 로고    scopus 로고
    • Attributed graph transformation with node type inheritance
    • de Lara et al., 2007
    • de Lara et al., 2007. de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3) 139-163 (2007)
    • (2007) Theor. Comput. Sci. , vol.376 , Issue.3 , pp. 139-163
    • De Lara, J.1    Bardohl, R.2    Ehrig, H.3    Ehrig, K.4    Prange, U.5    Taentzer, G.6
  • 21
    • 57049179525 scopus 로고    scopus 로고
    • Diagnosing differences between business process models
    • Dumas, M., Reichert, M., Shan, M.-C. (eds.), Springer, Heidelberg
    • Dijkman, 2008. Dijkman, R.: Diagnosing Differences between Business Process Models. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 261-277. Springer, Heidelberg (2008)
    • (2008) BPM 2008. LNCS , vol.5240 , pp. 261-277
    • Dijkman, R.1
  • 23
  • 27
    • 84884305486 scopus 로고    scopus 로고
    • Eclipse Foundation, 2011c
    • Eclipse Foundation, 2011c. Eclipse Foundation, EMF Compare (2011c), http://www.eclipse.org/emf/compare/
    • (2011) Eclipse Foundation EMF Compare
  • 31
    • 33947666925 scopus 로고    scopus 로고
    • Fundamental theory for typed attributed graph transformation
    • Ehrig et al., 2004, Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.), Springer, Heidelberg
    • Ehrig et al., 2004. Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 161-177. Springer, Heidelberg (2004)
    • (2004) ICGT 2004. LNCS , vol.3256 , pp. 161-177
    • Ehrig, H.1    Prange, U.2    Taentzer, G.3
  • 32
    • 84864560148 scopus 로고    scopus 로고
    • Measuring similarity between semantic business process models
    • Ehrig et al., 2007, Roddick, J.F., Hinze, A. (eds.), Australian Computer Society
    • Ehrig et al., 2007. Ehrig, M., Koschmider, A., Oberweis, A.: Measuring Similarity between Semantic Business Process Models. In: Roddick, J.F., Hinze, A. (eds.) Proceedings of the 4th Asia-Pacific Conference on Conceptual Modelling (APCCM). CRPIT, vol. 67, pp. 71-80. Australian Computer Society (2007)
    • (2007) Proceedings of the 4th Asia-Pacific Conference on Conceptual Modelling (APCCM). CRPIT , vol.67 , pp. 71-80
    • Ehrig, M.1    Koschmider, A.2    Oberweis, A.3
  • 33
    • 81255153911 scopus 로고    scopus 로고
    • Fragment-based version management for repositories of business process models
    • Ekanayake et al., 2011, Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.), Springer, Heidelberg
    • Ekanayake et al., 2011. Ekanayake, C.C., La Rosa, M., ter Hofstede, A.H.M., Fauvet, M.-C.: Fragment-Based Version Management for Repositories of Business Process Models. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. LNCS, vol. 7044, pp. 20-37. Springer, Heidelberg (2011)
    • (2011) OTM 2011, Part I. LNCS , vol.7044 , pp. 20-37
    • Ekanayake, C.C.1    La Rosa, M.2    Ter Hofstede, A.H.M.3    Fauvet, M.-C.4
  • 34
    • 33746469481 scopus 로고    scopus 로고
    • Dynamic meta-modeling: A graphical approach to the operational semantics of behavioral diagrams in uml
    • Engels et al., 2000, Evans, A., Caskurlu, B., Selic, B. (eds.), Springer, Heidelberg
    • Engels et al., 2000. Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323-337. Springer, Heidelberg (2000)
    • (2000) UML 2000. LNCS , vol.1939 , pp. 323-337
    • Engels, G.1    Hausmann, J.H.2    Heckel, R.3    Sauer, S.4
  • 35
    • 37149001952 scopus 로고    scopus 로고
    • Analysis of uml activities using dynamic meta modeling
    • Engels et al., 2007, Bonsangue, M.M., Johnsen, E.B. (eds.), Springer, Heidelberg
    • Engels et al., 2007. Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML Activities Using Dynamic Meta Modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 76-90. Springer, Heidelberg (2007)
    • (2007) FMOODS 2007. LNCS , vol.4468 , pp. 76-90
    • Engels, G.1    Soltenborn, C.2    Wehrheim, H.3
  • 40
    • 77249089468 scopus 로고    scopus 로고
    • Language-independent change management of process models
    • Gerth et al., 2009, Schürr, A., Selic, B. (eds.), Springer, Heidelberg
    • Gerth et al., 2009. Gerth, C., Küster, J.M., Engels, G.: Language-Independent Change Management of Process Models. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 152-166. Springer, Heidelberg (2009)
    • (2009) MODELS 2009. LNCS , vol.5795 , pp. 152-166
    • Gerth, C.1
  • 41
    • 78349272816 scopus 로고    scopus 로고
    • Precise detection of conflicting change operations using process model terms
    • Gerth et al., 2010a, Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.), Springer, Heidelberg
    • Gerth et al., 2010a. Gerth, C., Küster, J.M., Luckey, M., Engels, G.: Precise Detection of Conflicting Change Operations using Process Model Terms. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part II. LNCS, vol. 6395, pp. 93-107. Springer, Heidelberg (2010a)
    • (2010) MODELS 2010, Part II. LNCS , vol.6395 , pp. 93-107
    • Gerth, C.1
  • 42
    • 84879781364 scopus 로고    scopus 로고
    • Detection and resolution of conflicting change operations in version management of process models
    • Gerth et al, 2011a
    • Gerth et al., 2011a. Gerth, C., Küster, J.M., Luckey, M., Engels, G.: Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. Software and Systems Modeling (2011a), http://dx.doi.org/10.1007/s10270-011-0226-8
    • (2011) Software and Systems Modeling
    • Gerth, C.1
  • 43
    • 77957911027 scopus 로고    scopus 로고
    • Detection of semanti-cally equivalent fragments for business process model change management
    • Gerth et al, 2010b, IEEE Computer Society
    • Gerth et al., 2010b. Gerth, C., Luckey, M., Küster, J.M., Engels, G.: Detection of Semanti-cally Equivalent Fragments for Business Process Model Change Management. In: Proceedings of the 7th IEEE International Conference on Services Computing (SCC), pp. 57-64. IEEE Computer Society (2010b)
    • (2010) Proceedings of the 7th IEEE International Conference on Services Computing (SCC) , pp. 57-64
    • Gerth, C.1
  • 44
    • 80053165921 scopus 로고    scopus 로고
    • Precise mappings between business process models in versioning scenarios
    • Gerth et al, 2011b, IEEE Computer Society
    • Gerth et al., 2011b. Gerth, C., Luckey, M., Küster, J.M., Engels, G.: Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the 8th IEEE International Conference on Services Computing (SCC), pp. 218-225. IEEE Computer Society (2011b)
    • (2011) Proceedings of the 8th IEEE International Conference on Services Computing (SCC) , pp. 218-225
    • Gerth, C.1
  • 45
    • 33746248492 scopus 로고    scopus 로고
    • Hausmann, 2005, PhD thesis, University of Paderborn
    • Hausmann, 2005. Hausmann, J.H.: Dynamic Meta Modeling. PhD thesis, University of Paderborn (2005)
    • (2005) Dynamic Meta Modeling
    • Hausmann, J.H.1
  • 46
    • 0036036781 scopus 로고    scopus 로고
    • Detection of conflicting functional requirements in a use case-driven approach: A static analysis technique based on graph transformation
    • Hausmann et al., 2002, ACM
    • Hausmann et al., 2002. Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-driven Approach: A static Analysis Technique based on Graph Transformation. In: Proceedings of the 24th International Conference on Software Engineering (ICSE), pp. 105-115. ACM (2002)
    • (2002) Proceedings of the 24th International Conference on Software Engineering (ICSE) , pp. 105-115
    • Hausmann, J.H.1    Heckel, R.2    Taentzer, G.3
  • 47
    • 84937199516 scopus 로고    scopus 로고
    • Confluence of typed attributed graph transformation
    • Heckel et al., 2002, Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.), Springer, Heidelberg
    • Heckel et al., 2002. Heckel, R., Küster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161-176. Springer, Heidelberg (2002)
    • (2002) ICGT 2002. LNCS , vol.2505 , pp. 161-176
    • Heckel, R.1
  • 51
    • 84884312373 scopus 로고    scopus 로고
    • http://www.ibm.com/software/integration/integration-designer/
  • 58
    • 34547696236 scopus 로고    scopus 로고
    • A generic difference algorithm for uml models
    • Kelter et al., 2005, Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.), GI
    • Kelter et al., 2005. Kelter, U., Wehren, J., Niere, J.: A Generic Difference Algorithm for UML Models. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Proceedings of Software Engineering 2005, vol. 64, pp. 105-116. GI (2005)
    • (2005) Proceedings of Software Engineering 2005 , vol.64 , pp. 105-116
    • Kelter, U.1    Wehren, J.2    Niere, J.3
  • 60
    • 33745128690 scopus 로고    scopus 로고
    • Incremental workflow mining based on document versioning information
    • Kindler et al., 2005, Li, M., Boehm, B., Osterweil, L.J. (eds.), Springer, Heidelberg
    • Kindler et al., 2005. Kindler, E., Rubin, V., Schäfer, W.: Incremental Workflow Mining Based on Document Versioning Information. In: Li, M., Boehm, B., Osterweil, L.J. (eds.) SPW 2005. LNCS, vol. 3840, pp. 287-301. Springer, Heidelberg (2006)
    • (2006) SPW 2005. LNCS , vol.3840 , pp. 287-301
    • Kindler, E.1
  • 61
    • 84884344890 scopus 로고    scopus 로고
    • Incremental workflow mining for process flexibility
    • Kindler et al., 2006, Regev, G., Soffer, P., Schmidt, R. (eds.), CEUR-WS.org
    • Kindler et al., 2006. Kindler, E., Rubin, V., Schäfer, W.: Incremental Workflow Mining for Process Flexibility. In: Regev, G., Soffer, P., Schmidt, R. (eds.) BPMDS. CEUR Workshop Proceedings, vol. 236. CEUR-WS.org (2006)
    • (2006) BPMDS. CEUR Workshop Proceedings , vol.236
    • Kindler, E.1
  • 62
    • 42949166239 scopus 로고    scopus 로고
    • The role of visual modeling and model transformations in business-driven development
    • Koehler et al., 2008
    • Koehler et al., 2008. Koehler, J., Hauser, R., Küster, J.M., Ryndina, K., Vanhatalo, J., Wahler, M.: The Role of Visual Modeling and Model Transformations in Business-driven Development. Electr. Notes Theor. Comput. Sci. 211, 5-15 (2008)
    • (2008) Electr. Notes Theor. Comput. Sci. , vol.211 , pp. 5-15
    • Koehler, J.1
  • 68
    • 33748305751 scopus 로고    scopus 로고
    • Definition and validation of model transformations
    • Kuster, 2006
    • Kuster, 2006. Kuster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233-259 (2006)
    • (2006) Software and Systems Modeling , vol.5 , Issue.3 , pp. 233-259
    • Kuster, J.M.1
  • 69
    • 70350680830 scopus 로고    scopus 로고
    • Dependent and conflicting change operations of process models
    • Kuster et al., 2009, Paige, R.F., Hartman, A., Rensink, A. (eds.), Springer, Heidelberg
    • Kuster et al., 2009. Kuster, J.M., Gerth, C, Engels, G: Dependent and Conflicting Change Operations of Process Models. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 158-173. Springer, Heidelberg (2009)
    • (2009) ECMDA-FA 2009. LNCS , vol.5562 , pp. 158-173
    • Kuster, J.M.1    Gerth, C.2    Engels, G.3
  • 70
    • 77954646468 scopus 로고    scopus 로고
    • Dynamic computation of change operations in version management of business process models
    • Kuster et al., 2010, Kühne, T., Selic, B., Gervais, M.-P, Terrier, F. (eds.), Springer, Heidelberg
    • Kuster et al., 2010. Kuster, J.M., Gerth, C, Engels, G: Dynamic Computation of Change Operations in Version Management of Business Process Models. In: Kühne, T., Selic, B., Gervais, M.-P, Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 201-216. Springer, Heidelberg (2010)
    • (2010) ECMFA 2010. LNCS , vol.6138 , pp. 201-216
    • Kuster, J.M.1    Gerth, C.2    Engels, G.3
  • 71
    • 57049146832 scopus 로고    scopus 로고
    • Detecting and resolving process model differences in the absence of a change log
    • Kuster et al., 2008b, Dumas, M., Re-ichert, M., Shan, M.-C. (eds.), Springer, Heidelberg
    • Kuster et al., 2008b. Kuster, J.M., Gerth, C, Forster, A., Engels, G: Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Dumas, M., Re-ichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244-260. Springer, Heidelberg (2008b)
    • (2008) BPM 2008. LNCS , vol.5240 , pp. 244-260
    • Kuster, J.M.1    Gerth, C.2    Forster, A.3    Engels, G.4
  • 72
    • 70350696515 scopus 로고    scopus 로고
    • Comparing and merging uml models in ibm rational software architect: Part 3. A deeper understanding of model merging
    • Letkeman, 2005
    • Letkeman, 2005. Letkeman, K: Comparing and merging UML models in IBM Rational Software Architect: Part 3. A deeper understanding of model merging. IBM Devel-operworks (2005)
    • (2005) IBM Devel-operworks
    • Letkeman, K.1
  • 73
    • 0001116877 scopus 로고
    • Binary codes capable of correcting deletions, insertions and reversals
    • Levenshtein, 1966
    • Levenshtein, 1966. Levenshtein, V.I.: Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Soviet Physics Doklady 10, 707 (1966)
    • (1966) Soviet Physics Doklady , vol.10 , pp. 707
    • Levenshtein, V.I.1
  • 74
    • 57049164878 scopus 로고    scopus 로고
    • On measuring process model similarity based on high-level change operations
    • Li et al., 2008, Li, Q., Spaccapietra, S., Yu, E., Olive, A. (eds.), Springer, Heidelberg
    • Li et al., 2008. Li, C, Reichert, M., Wombacher, A.: On Measuring Process Model Similarity Based on High-Level Change Operations. In: Li, Q., Spaccapietra, S., Yu, E., Olive, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 248-264. Springer, Heidelberg (2008)
    • (2008) ER 2008. LNCS , vol.5231 , pp. 248-264
    • Li, C.1    Reichert, M.2    Wombacher, A.3
  • 75
    • 70349332782 scopus 로고    scopus 로고
    • Discovering reference models by mining process variants using a heuristic approach
    • Li et al., 2009, Dayal, U., Eder, J., Koehler, J., Reijers, HA. (eds.), Springer, Heidelberg
    • Li et al., 2009. Li, C, Reichert, M., Wombacher, A.: Discovering Reference Models by Mining Process Variants Using a Heuristic Approach. In: Dayal, U., Eder, J., Koehler, J., Reijers, HA. (eds.) BPM 2009. LNCS, vol. 5701, pp. 344-362. Springer, Heidelberg (2009)
    • (2009) BPM 2009. LNCS , vol.5701 , pp. 344-362
    • Li, C.1    Reichert, M.2    Wombacher, A.3
  • 77
    • 55549132097 scopus 로고    scopus 로고
    • Transformation strategies between block-oriented and graph-oriented process modelling languages
    • Mendling et al. 2006, GITO-Verlag
    • Mendling et al. 2006. Mendling J. Lassen K.B. Zdun U.: Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. In: Proceedings of Wirtschaftsinformatik 2006. Band 2, pp. 297-312. GITO-Verlag (2006)
    • (2006) Proceedings of Wirtschaftsinformatik 2006. Band 2 , pp. 297-312
    • Mendling, J.1    Lassen, K.B.2    Zdun, U.3
  • 78
    • 38149048455 scopus 로고    scopus 로고
    • Formalization and verification of epcs with or-joins based on state and context
    • Mendling and van der Aalst, 2007, Krogstie, J., Op-dahl, A.L., Sindre, G. (eds.), Springer, Heidelberg
    • Mendling and van der Aalst, 2007. Mendling, J., van der Aalst, W.M.P: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Op-dahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol. 4495, pp. 439-453. Springer, Heidelberg (2007)
    • (2007) CAiSE 2007. LNCS , vol.4495 , pp. 439-453
    • Mendling, J.1    Van Der Aalst, W.M.P.2
  • 79
    • 0036564990 scopus 로고    scopus 로고
    • A state-of-the-art survey on software merging
    • Mens, 2002
    • Mens, 2002. Mens, T: A State-of-the-Art Survey on Software Merging. IEEE Trans. Software Eng. 28(5), 449-462 (2002)
    • (2002) IEEE Trans. Software Eng. , vol.28 , Issue.5 , pp. 449-462
    • Mens, T.1
  • 80
    • 34548050450 scopus 로고    scopus 로고
    • Analysing refactoring dependencies using graph transformation
    • Mens et al., 2007
    • Mens et al., 2007. Mens, T, Taentzer, G, Runge, O.: Analysing refactoring dependencies using graph transformation. Software and System Modeling 6(3), 269-285 (2007)
    • (2007) Software and System Modeling , vol.6 , Issue.3 , pp. 269-285
    • Mens, T.1    Taentzer, G.2    Runge, O.3
  • 82
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata, 1989
    • Murata, 1989. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541-580 (1989)
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 84
    • 33947099959 scopus 로고    scopus 로고
    • Odyssey-scm: An integrated software configuration management infrastructure for uml models
    • Murta et al., 2007
    • Murta et al., 2007. Murta, L., Oliveira, H., Dantas, C., Lopes, L.G., Werner, C.: Odyssey-SCM: An integrated Software Configuration Management Infrastructure for UML Models. Sci. Comput. Program. 65, 249-274 (2007)
    • (2007) Sci. Comput. Program. , vol.65 , pp. 249-274
    • Murta, L.1    Oliveira, H.2    Dantas, C.3    Lopes, L.G.4    Werner, C.5
  • 85
    • 33745128489 scopus 로고
    • An o(nd) difference algorithm and its variations
    • Myers, 1986
    • Myers, 1986. Myers, E.W.: An o(nd) difference algorithm and its variations. Algorithmica 1, 251-266 (1986)
    • (1986) Algorithmica , vol.1 , pp. 251-266
    • Myers, E.W.1
  • 89
    • 84884345027 scopus 로고    scopus 로고
    • OMG, 2010c, Object Management Group (OMG), Meta Object Facility, v2.4-Beta 2
    • OMG, 2010c. Object Management Group (OMG), Meta Object Facility, v2.4-Beta 2 (2010a), http://www.omg.org/spec/MOF/2.4/Beta2/
    • (2010)
  • 99
    • 0032024112 scopus 로고    scopus 로고
    • ADEPT-supporting dynamic flex changes of workflows without losing control
    • Reichert and Dadam, 1998
    • Reichert and Dadam, 1998. Reichert, M., Dadam, P.: ADEPT-Supporting Dynamic flex Changes of Workflows Without Losing Control. J. Intell. Inf. Syst. 10(2), 93-129 (1998)
    • (1998) J. Intell. Inf. Syst. , vol.10 , Issue.2 , pp. 93-129
    • Reichert, M.1    Dadam, P.2
  • 100
    • 84898211188 scopus 로고    scopus 로고
    • Enabling adaptive process-aware information systems with adept2
    • Reichert and Dadam, 2009, Cardoso, J., van der Aalst, W. (eds.), Information Science Reference, Hershey
    • Reichert and Dadam, 2009. Reichert, M., Dadam, P.: Enabling Adaptive Process-aware Information Systems with ADEPT2. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling, pp. 173-203. Information Science Reference, Hershey (2009)
    • (2009) Handbook of Research on Business Process Modeling , pp. 173-203
    • Reichert, M.1    Dadam, P.2
  • 101
    • 21144458146 scopus 로고    scopus 로고
    • ADEPT workflow management system
    • Reichert et al., 2003, van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.), Springer, Heidelberg
    • Reichert et al., 2003. Reichert, M., Rinderle, S., Dadam, P.: ADEPT Workflow Management System: In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 370-379. Springer, Heidelberg (2003)
    • (2003) BPM 2003. LNCS , vol.2678 , pp. 370-379
    • Reichert, M.1    Rinderle, S.2    Dadam, P.3
  • 103
    • 67349272473 scopus 로고    scopus 로고
    • On deriving net change information from change logs-the deltalayer-algorithm
    • Rinderle et al., 2007, Kemper, A., Schöning, H., Rose, T., Jarke, M., Seidl, T., Quix, C., Brochhaus, C. (eds.), GI
    • Rinderle et al., 2007. Rinderle, S., Jurisch, M., Reichert, M.: On deriving net change information from change logs-the deltalayer-algorithm. In: Kemper, A., Schöning, H., Rose, T., Jarke, M., Seidl, T., Quix, C., Brochhaus, C. (eds.) Proceedings of Daten-banksysteme in Business, Technologie und Web (BTW), vol. 103, pp. 364-381. GI (2007)
    • (2007) Proceedings of Daten-banksysteme in Business, Technologie und Web (BTW) , vol.103 , pp. 364-381
    • Rinderle, S.1    Jurisch, M.2    Reichert, M.3
  • 104
    • 33750014853 scopus 로고    scopus 로고
    • Disjoint and overlapping process changes: Challenges, solutions, applications
    • Rinderle et al., 2004, Meersman, R. (ed.), Springer, Heidelberg
    • Rinderle et al., 2004. Rinderle, S., Reichert, M., Dadam, P.: Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications. In: Meersman, R. (ed.) OTM 2004. LNCS, vol. 3290, pp. 101-120. Springer, Heidelberg (2004)
    • (2004) OTM 2004. LNCS , vol.3290 , pp. 101-120
    • Rinderle, S.1    Reichert, M.2    Dadam, P.3
  • 107
    • 78650131664 scopus 로고    scopus 로고
    • Merging business process models
    • Rosa et al., 2010, Meersman, R., Dillon, T.S., Herrero, P. (eds.), Springer, Heidelberg
    • Rosa et al., 2010. La Rosa, M., Dumas, M., Uba, R., Dijkman, R.: Merging Business Process Models. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010, Part I, LNCS, vol. 6426, pp. 96-113. Springer, Heidelberg (2010)
    • (2010) OTM 2010, Part I, LNCS , vol.6426 , pp. 96-113
    • La Rosa, M.1    Dumas, M.2    Uba, R.3    Dijkman, R.4
  • 109
    • 0000571953 scopus 로고    scopus 로고
    • Analyzing process models using graph reduction techniques
    • Sadiq and Orlowska, 2000
    • Sadiq and Orlowska, 2000. Sadiq, W., Orlowska, M.E.: Analyzing Process Models Using Graph Reduction Techniques. Inf. Syst. 25(2), 117-134 (2000)
    • (2000) Inf. Syst. , vol.25 , Issue.2 , pp. 117-134
    • Sadiq, W.1    Orlowska, M.E.2
  • 110
    • 70349702841 scopus 로고    scopus 로고
    • Experiences in using optimisitic locking in fujaba
    • Schneider and Zündorf, 2007
    • Schneider and Zündorf, 2007. Schneider, C., Zündorf, A.: Experiences in using Optimisitic Locking in Fujaba. Softwaretechnik Trends 27 (2007)
    • (2007) Softwaretechnik Trends , vol.27
    • Schneider, C.1
  • 113
    • 84898304725 scopus 로고    scopus 로고
    • Subversion, 2011, Subversion-Open Source Revision Control System
    • Subversion, 2011. Subversion (2011), Subversion-Open Source Revision Control System, http://subversion.tigris.org
    • (2011) Subversion
  • 114
    • 34247342048 scopus 로고    scopus 로고
    • AGG: A graph transformation environment for modeling and validation of software
    • Taentzer, 2003, Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.), Springer, Heidelberg
    • Taentzer, 2003. Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446-453. Springer, Heidelberg (2004)
    • (2004) AGTIVE 2003. LNCS , vol.3062 , pp. 446-453
    • Taentzer, G.1
  • 115
    • 78649900287 scopus 로고    scopus 로고
    • Conflict detection for model versioning based on graph modifications
    • Taentzer et al., 2010, Ehrig, H., Rensink, A., Rozen-berg, G., Schürr, A. (eds.), Springer, Heidelberg
    • Taentzer et al., 2010. Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: Conflict Detection for Model Versioning Based on Graph Modifications. In: Ehrig, H., Rensink, A., Rozen-berg, G., Schürr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 171-186. Springer, Heidelberg (2010)
    • (2010) ICGT 2010. LNCS , vol.6372 , pp. 171-186
    • Taentzer, G.1    Ermel, C.2    Langer, P.3    Wimmer, M.4
  • 118
    • 0012268580 scopus 로고
    • The linear time-branching time spectrum i-the semantics of concrete, sequential processes
    • v. Glabbeek, 1988. van Glabbeek, R.: The Linear Time-Branching Time Spectrum I-The Semantics of Concrete, Sequential Processes. In: Handbook of Process Algebra, ch. 1, pp. 3-99. Elsevier (1988)
    • (1988) Handbook of Process Algebra , pp. 3-99
    • Van Glabbeek, R.1
  • 120
    • 84944029013 scopus 로고    scopus 로고
    • An alternative way to analyze workflow graphs
    • van der Aalst et al., 2002, Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.), Springer, Heidelberg
    • van der Aalst et al., 2002. van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An Alternative Way to Analyze Workflow Graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535-552. Springer, Heidelberg (2002)
    • (2002) CAiSE 2002. LNCS , vol.2348 , pp. 535-552
    • Van Der Aalst, W.M.P.1    Hirnschall, A.2    Verbeek, H.M.W.3
  • 121
    • 15744405522 scopus 로고    scopus 로고
    • Yawl: Yet another workflow language
    • van der Aalst et al., 2005
    • van der Aalst et al., 2005. van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: yet another workflow language. Inf. Syst. 30(4) 245-275 (2005)
    • (2005) Inf. Syst. , vol.30 , Issue.4 , pp. 245-275
    • Van Der Aalst, W.M.P.1    Ter Hofstede, A.H.M.2
  • 122
    • 45849131316 scopus 로고    scopus 로고
    • Measuring similarity between business process models
    • van Dongen et al., 2008, Bellahsène, Z., Léonard, M. (eds.), Springer, Heidelberg
    • van Dongen et al., 2008. van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring Similarity between Business Process Models. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 450-464. Springer, Heidelberg (2008)
    • (2008) CAiSE 2008. LNCS , vol.5074 , pp. 450-464
    • Van Dongen, B.F.1    Dijkman, R.M.2    Mendling, J.3
  • 123
    • 25144450483 scopus 로고    scopus 로고
    • Verification of epcs: Using reduction rules and petri nets
    • van Dongen et al., 2005, Pastor, Ó., Falcão e Cunha, J. (eds.), Springer, Heidelberg
    • van Dongen et al., 2005. van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using Reduction Rules and Petri Nets. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372-386. Springer, Heidelberg (2005)
    • (2005) CAiSE 2005. LNCS , vol.3520 , pp. 372-386
    • Van Dongen, B.F.1    Van Der Aalst, W.M.P.2    Verbeek, H.M.W.3
  • 124
    • 38349014920 scopus 로고    scopus 로고
    • Faster and more focused control-flow analysis for business process models through sese decomposition
    • Vanhatalo et al., 2007, Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.), Springer, Heidelberg
    • Vanhatalo et al., 2007. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
    • (2007) ICSOC 2007. LNCS , vol.4749 , pp. 43-55
    • Vanhatalo, J.1
  • 125
    • 58049114816 scopus 로고    scopus 로고
    • Automatic workflow graph refactoring and completion
    • Vanhatalo et al., 2008, Bouguettaya, A., Krueger, I., Margaria, T. (eds.), Springer, Heidelberg
    • Vanhatalo et al., 2008. Vanhatalo, J., Völzer, H., Leymann, F., Moser, S.: Automatic Workflow Graph Refactoring and Completion. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 100-115. Springer, Heidelberg (2008)
    • (2008) ICSOC 2008. LNCS , vol.5364 , pp. 100-115
    • Vanhatalo, J.1
  • 127
    • 38149061096 scopus 로고    scopus 로고
    • Change patterns and change support features in process-aware information systems
    • Weber et al., 2007, Krogstie, J., Opdahl, A.L., Sindre, G. (eds.), Springer, Heidelberg
    • Weber et al., 2007. Weber, B., Rinderle, S., Reichert, M.: Change Patterns and Change Support Features in Process-Aware Information Systems. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol. 4495, pp. 574-588. Springer, Heidelberg (2007)
    • (2007) CAiSE 2007. LNCS , vol.4495 , pp. 574-588
    • Weber, B.1    Rinderle, S.2    Reichert, M.3
  • 128
    • 79956323232 scopus 로고    scopus 로고
    • The icop framework: Identification of correspondences between process models
    • Weidlich et al., 2010, Pernici, B. (ed.), Springer, Heidelberg
    • Weidlich et al., 2010. Weidlich, M., Dijkman, R., Mendling, J.: The ICoP Framework: Identification of Correspondences between Process Models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483-498. Springer, Heidelberg (2010)
    • (2010) CAiSE 2010. LNCS , vol.6051 , pp. 483-498
    • Weidlich, M.1    Dijkman, R.2    Mendling, J.3
  • 129
    • 79957803658 scopus 로고    scopus 로고
    • Efficient consistency measurement based on behavioral profiles of process models
    • Weidlich et al., 2011
    • Weidlich et al., 2011. Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Transactions on Software Engineering 37, 410-429 (2011)
    • (2011) IEEE Transactions on Software Engineering , vol.37 , pp. 410-429
    • Weidlich, M.1    Mendling, J.2    Weske, M.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.