-
1
-
-
0242370962
-
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
-
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
-
3
-
-
79956310521
-
AMOR-towards adaptable model version-ing
-
Altmanninger et al., 2008
-
Altmanninger et al., 2008. Altmanninger, K., Kappel, G., Kusel, A., Retschitzegger, W., Seidl, M., Schwinger, W., Wimmer, M.: AMOR-Towards Adaptable Model Version-ing. In: Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management MCCM (2008)
-
(2008)
Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management MCCM
-
-
Altmanninger, K.1
Kappel, G.2
Kusel, A.3
Retschitzegger, W.4
Seidl, M.5
Schwinger, W.6
Wimmer, M.7
-
4
-
-
0003650163
-
-
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
-
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
-
6
-
-
0003434834
-
-
Booch, 1994, Addison Wesley, Longman Publishing Co., Inc., Redwood City
-
Booch, 1994. Booch, G.: Object-Oriented Analysis and Design with Applications. Addison Wesley Longman Publishing Co., Inc., Redwood City (1994)
-
(1994)
Object-Oriented Analysis and Design with Applications
-
-
Booch, G.1
-
7
-
-
0033680457
-
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
-
8
-
-
77955162010
-
Adaptable model versioning in action
-
Brosch et al., 2010, GI
-
Brosch et al., 2010. Brosch, P., Kappel, G., Seidl, M., Wieland, K., Wimmer, M., Kargl, H., Langer, P.: Adaptable Model Versioning in Action. In: Proceedings of Modellierung 2010. LNI, vol. 161, pp. 221-236. GI (2010)
-
(2010)
Proceedings of Modellierung 2010. LNI
, vol.161
, pp. 221-236
-
-
Brosch, P.1
Kappel, G.2
Seidl, M.3
Wieland, K.4
Wimmer, M.5
Kargl, H.6
Langer, P.7
-
9
-
-
70349796254
-
Towards end-user adaptable model versioning: The by-example operation recorder
-
Brosch et al., 2009, IEEE
-
Brosch et al., 2009. Brosch, P., Langer, P., Seidl, M., Wimmer, M.: Towards End-User Adaptable Model Versioning: The By-Example Operation Recorder. In: Proceedings of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM), pp. 55-60. IEEE (2009)
-
(2009)
Proceedings of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM)
, pp. 55-60
-
-
Brosch, P.1
Langer, P.2
Seidl, M.3
Wimmer, M.4
-
10
-
-
70849087833
-
Model differences in the eclipse modelling framework
-
Brun and Pierantonio, 2008
-
Brun and Pierantonio, 2008. Brun, C., Pierantonio, A.: Model Differences in the Eclipse Modelling Framework. CEPIS Upgrade-The European Journal for the Informatics Professional IX(2), 29-34 (2008)
-
(2008)
CEPIS Upgrade-the European Journal for the Informatics Professional
, vol.9
, Issue.2
, pp. 29-34
-
-
Brun, C.1
Pierantonio, A.2
-
11
-
-
0030157266
-
Change detection in hierarchically structured information
-
Chawathe et al., 1996, ACM, New York
-
Chawathe et al., 1996. Chawathe, S.S., Rajaraman, A., Garcia-Molina, H., Widom, J.: Change Detection in Hierarchically Structured Information. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 1996, pp. 493-504. ACM, New York (1996)
-
(1996)
Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 1996
, pp. 493-504
-
-
Chawathe, S.S.1
Rajaraman, A.2
Garcia-Molina, H.3
Widom, J.4
-
12
-
-
84976766949
-
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
-
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
-
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
-
15
-
-
0003511047
-
-
Coad and Yourdon, 1991, Yourdon Press, Upper Saddle River
-
Coad and Yourdon, 1991. Coad, P., Yourdon, E.: Object-oriented analysis, 2nd edn. Yourdon Press, Upper Saddle River (1991)
-
(1991)
Object-oriented Analysis, 2nd Edn
-
-
Coad, P.1
Yourdon, E.2
-
16
-
-
84947772746
-
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
-
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
-
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
-
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
-
22
-
-
84889269573
-
-
Dumas et al., 2005, Wiley
-
Dumas et al., 2005. Dumas M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley (2005)
-
(2005)
Process-Aware Information Systems: Bridging People and Software Through Process Technology
-
-
Dumas, M.1
Van Der Aalst, W.M.P.2
Ter Hofstede, A.H.M.3
-
23
-
-
84876309171
-
-
Dustdar et al., 2006, Springer, Heidelberg
-
Dustdar et al., 2006. Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.): BPM 2006. LNCS, vol. 4102. Springer, Heidelberg (2006)
-
(2006)
BPM 2006. LNCS
, vol.4102
-
-
Dustdar, S.1
Fiadeiro, J.L.2
Sheth, A.P.3
-
27
-
-
84884305486
-
-
Eclipse Foundation, 2011c
-
Eclipse Foundation, 2011c. Eclipse Foundation, EMF Compare (2011c), http://www.eclipse.org/emf/compare/
-
(2011)
Eclipse Foundation EMF Compare
-
-
-
30
-
-
0004063990
-
-
Ehrig et al., 1999, World Scientific Publisher
-
Ehrig et al., 1999. Ehrig, H., Engels, G., Rozenberg, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific Publisher (1999)
-
(1999)
Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools
, vol.2
-
-
Ehrig, H.1
Engels, G.2
Rozenberg, H.J.3
Rozenberg, G.4
-
31
-
-
33947666925
-
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
-
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
-
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
-
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
-
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
-
36
-
-
4644300495
-
-
Erl, 2005, Prentice Hall PTR, NJ
-
Erl, 2005. Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall PTR, NJ (2005)
-
(2005)
Service-Oriented Architecture: Concepts, Technology, and Design
-
-
Erl, T.1
-
38
-
-
0004061016
-
-
Fowler et al., 1999, Addison-Wesley Professional
-
Fowler et al., 1999. Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code, 1st edn. Addison-Wesley Professional (1999)
-
(1999)
Refactoring: Improving the Design of Existing Code, 1st Edn
-
-
Fowler, M.1
Beck, K.2
Brant, J.3
Opdyke, W.4
Roberts, D.5
-
40
-
-
77249089468
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
-
http://www.ibm.com/software/integration/integration-designer/
-
-
-
-
54
-
-
0003504769
-
-
Jacobson et al., 1992, Addison-Wesley
-
Jacobson et al., 1992. Jacobson, I., Christerson, M., Jonsson, P., Övergaard, G.: Object-Oriented Software Engineering-A Use Case Driven Approach. Addison-Wesley (1992)
-
(1992)
Object-Oriented Software Engineering-A Use Case Driven Approach
-
-
Jacobson, I.1
-
55
-
-
0027928779
-
The program structure tree: Computing control regions in linear time
-
Johnson et al., 1994
-
Johnson et al., 1994. Johnson, R., Pearson, D., Pingali, K.: The Program Structure Tree: Computing Control Regions in Linear Time. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 171-185 (1994)
-
(1994)
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
, pp. 171-185
-
-
Johnson, R.1
Pearson, D.2
Pingali, K.3
-
56
-
-
84857053276
-
-
Johnson et al., 1993, Technical Report TR93-1365
-
Johnson et al., 1993. Johnson, R.C., Pearson D., Pingali, K.: Finding regions fast: Single entry single exit and control regions in linear time. Technical Report TR93-1365 (1993)
-
(1993)
Finding Regions Fast: Single Entry Single Exit and Control Regions in Linear Time
-
-
Johnson, R.C.1
Pearson, D.2
Pingali, K.3
-
58
-
-
34547696236
-
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
-
59
-
-
0003595938
-
-
Kiepuszewski, 2002, PhD thesis, Queensland University of Technology, Brisbane, Australia
-
Kiepuszewski, 2002. Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Brisbane, Australia (2002)
-
(2002)
Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows
-
-
Kiepuszewski, B.1
-
60
-
-
33745128690
-
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
-
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
-
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
-
64
-
-
77955156817
-
Operation-based conflict detection
-
Kögel et al., 2010, ACM
-
Kögel et al., 2010. Kögel, M., Herrmannsdoerfer, M., von Wesendonk, O., Helming, J.: Operation-based Conflict Detection. In: Proceedings of the 1st International Workshop on Model Comparison in Practice (IWMCP), pp. 21-30. ACM (2010)
-
(2010)
Proceedings of the 1st International Workshop on Model Comparison in Practice (IWMCP)
, pp. 21-30
-
-
Kögel, M.1
-
65
-
-
70349836054
-
Different models for model matching: An analysis of approaches to support model differencing
-
Kolovos et al., 2009, IEEE Computer Society
-
Kolovos et al., 2009. Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different Models for Model Matching: An analysis of approaches to support model differencing. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM), CVSM 2009, pp. 1-6. IEEE Computer Society (2009)
-
(2009)
Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM), CVSM 2009
, pp. 1-6
-
-
Kolovos, D.S.1
Di Ruscio, D.2
Pierantonio, A.3
Paige, R.F.4
-
66
-
-
79960269920
-
A tool for process merging in business-driven development
-
Kuster et al., 2008a, Bellahsene, Z., Coletta, R., Franch, X., Hunt, E., Woo, C. (eds.), CEUR-WS.org
-
Kuster et al., 2008a. Kuster, J., Gerth, C, Forster, A., Engels, G.: A Tool for Process Merging in Business-Driven Development. In: Bellahsene, Z., Coletta, R., Franch, X., Hunt, E., Woo, C. (eds.) Proceedings of the Forum at the 20th International Conference on Advanced Information Systems Engineering (CAiSE), pp. 89-92. CEUR-WS.org (2008a)
-
(2008)
Proceedings of the Forum at the 20th International Conference on Advanced Information Systems Engineering (CAiSE), Pp.
, pp. 89-92
-
-
Kuster, J.1
Gerth, C.2
Forster, A.3
Engels, G.4
-
68
-
-
33748305751
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
76
-
-
85018106387
-
Operation-based merging
-
Lippe and van Oosterom, 1992, ACM
-
Lippe and van Oosterom, 1992. Lippe, E., van Oosterom, N.: Operation-based Merging. In: Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments (SDE), pp. 78-87. ACM (1992)
-
(1992)
Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments (SDE)
, pp. 78-87
-
-
Lippe, E.1
Van Oosterom, N.2
-
77
-
-
55549132097
-
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
-
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
-
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
-
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
-
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
-
83
-
-
79959401388
-
Towards odyssey-vcs 2: Improvements over a uml-based version control system
-
Murta et al., 2008, ACM, New York
-
Murta et al., 2008. Murta, L., Corrêa, C., Prudêncio, J.G., Werner, C.: Towards Odyssey-VCS 2: Improvements over a UML-based Version Control System. In: Proceedings of the International Workshop on Comparison and Versioning of Software Models (CVSM), CVSM 2008, pp. 25-30. ACM, New York (2008)
-
(2008)
Proceedings of the International Workshop on Comparison and Versioning of Software Models (CVSM), CVSM 2008
, pp. 25-30
-
-
Murta, L.1
-
84
-
-
33947099959
-
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
-
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
-
86
-
-
34548726133
-
Matching and merging of statecharts specifications
-
Nejati et al., 2007, IEEE Computer Society
-
Nejati et al., 2007. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and Merging of Statecharts Specifications. In: Proceedings of the 29th International Conference on Software Engineering (ICSE), pp. 54-64. IEEE Computer Society (2007)
-
(2007)
Proceedings of the 29th International Conference on Software Engineering (ICSE)
, pp. 54-64
-
-
Nejati, S.1
Sabetzadeh, M.2
Chechik, M.3
Easterbrook, S.M.4
Zave, P.5
-
87
-
-
0033712787
-
The fujaba environment
-
Nickel et al., 2000
-
Nickel et al., 2000. Nickel, U.A., Niere, J., Zündorf, A.: The FUJABA Environment. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), pp. 742-745 (2000)
-
(2000)
Proceedings of the 22nd International Conference on Software Engineering (ICSE)
, pp. 742-745
-
-
Nickel, U.A.1
-
89
-
-
84884345027
-
-
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)
-
-
-
94
-
-
1542317057
-
Differences between versions of uml diagrams
-
Ohst et al., 2003, ACM
-
Ohst et al., 2003. Ohst, D., Welle, M., Kelter, U.: Differences between Versions of UML Diagrams. In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering held jointly with 9th European Software Engineering Conference (ESEC/FSE), pp. 227-236. ACM (2003)
-
(2003)
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering Held Jointly with 9th European Software Engineering Conference (ESEC/FSE)
, pp. 227-236
-
-
Ohst, D.1
Welle, M.2
Kelter, U.3
-
96
-
-
9444261848
-
WordNet: Similarity-measuring the relatedness of concepts
-
Pedersen et al., 2004, McGuinness, D.L., Ferguson, G. (eds.), AAAI Press/The MIT Press
-
Pedersen et al., 2004. Pedersen, T., Patwardhan, S., Michelizzi, J.: WordNet: Similarity-Measuring the Relatedness of Concepts. In: McGuinness, D.L., Ferguson, G. (eds.) Proceedings of the 9th National Conference on Artificial Intelligence and 16th Conference on Innovative Applications of Artificial Intelligence (AAAI), pp. 1024-1025. AAAI Press/The MIT Press (2004)
-
(2004)
Proceedings of the 9th National Conference on Artificial Intelligence and 16th Conference on Innovative Applications of Artificial Intelligence (AAAI)
, pp. 1024-1025
-
-
Pedersen, T.1
Patwardhan, S.2
Michelizzi, J.3
-
97
-
-
85012191651
-
Merging models based on given correspondences
-
Pottinger and Bernstein, 2003
-
Pottinger and Bernstein, 2003. Pottinger, R., Bernstein, P.A.: Merging Models Based on Given Correspondences. In: Proceedings of the 29th International Conference on Very Large Data Bases (VLDB), vol. 29, pp. 826-873 (2003)
-
(2003)
Proceedings of the 29th International Conference on Very Large Data Bases (VLDB)
, vol.29
, pp. 826-873
-
-
Pottinger, R.1
Bernstein, P.A.2
-
99
-
-
0032024112
-
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
-
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
-
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
-
102
-
-
28444469151
-
Adaptive process management with ADEPT2
-
IEEE Computer Society
-
Reichert et al., 2005. Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive Process Management with ADEPT2. In: Proceedings of the 21st International Conference on Data Engineering (ICDE), pp. 1113-1114. IEEE Computer Society (2005)
-
(2005)
Proceedings of the 21st International Conference on Data Engineering (ICDE)
, pp. 1113-1114
-
-
Reichert, M.1
Rinderle, S.2
Kreher, U.3
Dadam, P.4
-
103
-
-
67349272473
-
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
-
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
-
105
-
-
33749985728
-
-
Rinderle et al., 2006, [Dustdar et al. 2006]
-
Rinderle et al., 2006. Rinderle, S., Reichert, M., Jurisch, M., Kreher, U.: On Representing, Purging, and Utilizing Change Logs in Process Management Systems. In: [Dustdar et al. 2006], pp. 241-256 (2006)
-
(2006)
On Representing, Purging, and Utilizing Change Logs in Process Management Systems
, pp. 241-256
-
-
Rinderle, S.1
Reichert, M.2
Jurisch, M.3
Kreher, U.4
-
106
-
-
84986116019
-
Representing and operating with model differences
-
Rivera and Vallecillo, 2008, Paige, R.F., Meyer, B. (eds.), Springer, Heidelberg
-
Rivera and Vallecillo, 2008. Rivera, J.E., Vallecillo, A.: Representing and operating with model differences. In: Paige, R.F., Meyer, B. (eds.) Proceedings of the 46th International Conference on Objects, Components, Models and Patterns TOOLS EUROPE 2008. LNBIP, vol. 11, pp. 141-160. Springer, Heidelberg (2008)
-
(2008)
Proceedings of the 46th International Conference on Objects, Components, Models and Patterns TOOLS EUROPE 2008. LNBIP
, vol.11
, pp. 141-160
-
-
Rivera, J.E.1
Vallecillo, A.2
-
107
-
-
78650131664
-
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
-
108
-
-
0003511049
-
-
Rumbaugh et al., 1991, Prentice-Hall
-
Rumbaugh et al., 1991. Rumbaugh, J.E., Blaha, M.R., Premerlani, W.J., Eddy, F., Lorensen, W.E.: Object-Oriented Modeling and Design. Prentice-Hall (1991)
-
(1991)
Object-Oriented Modeling and Design
-
-
Rumbaugh, J.E.1
Blaha, M.R.2
Premerlani, W.J.3
Eddy, F.4
Lorensen, W.E.5
-
109
-
-
0000571953
-
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
-
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
-
111
-
-
14944347273
-
CoObRA-a small step for development tools to collaborative environments
-
Schneider et al., 2004
-
Schneider et al., 2004. Schneider, C., Zündorf, A., Niere, J.: CoObRA-a small step for development tools to collaborative environments. In: Proceedings of the Workshop on Directions in Software Engineering Environments (WoDiSEE). ICSE 2004, Scotland (2004)
-
(2004)
Proceedings of the Workshop on Directions in Software Engineering Environments (WoDiSEE). ICSE 2004, Scotland
-
-
Schneider, C.1
-
112
-
-
74549142762
-
-
Steinberg et al., 2009, Addison-Wesley Professional
-
Steinberg et al., 2009. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional (2009)
-
(2009)
EMF: Eclipse Modeling Framework 2.0, 2nd Edn
-
-
Steinberg, D.1
Budinsky, F.2
Paternostro, M.3
Merks, E.4
-
113
-
-
84898304725
-
-
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
-
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
-
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
-
117
-
-
37849026828
-
Difference computation of large models
-
Treude et al., 2007, ACM, Glabbeek, 1988, ch. 1, Elsevier
-
Treude et al., 2007. Treude, C., Berlik, S., Wenzel, S., Kelter, U.: Difference Computation of Large Models. In: Proceedings of the 8th ACM SIGSOFT Symposium on Foundations of Software Engineering Held Jointly with 6th European Software Engineering Conference (ESEC/FSE), pp. 295-304. ACM (2007)
-
(2007)
Proceedings of the 8th ACM SIGSOFT Symposium on Foundations of Software Engineering Held Jointly with 6th European Software Engineering Conference (ESEC/FSE)
, pp. 295-304
-
-
Treude, C.1
Berlik, S.2
Wenzel, S.3
Kelter, U.4
-
118
-
-
0012268580
-
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
-
119
-
-
33750024801
-
-
van der Aalst et al., 2006, [Dustdar et al., 2006]
-
van der Aalst et al., 2006. van der Aalst, W.M.P., de Medeiros, A.K.A., Weijters, A.J.M.M.: Process Equivalence: Comparing Two Process Models Based on Observed Behavior. In: [Dustdar et al., 2006], pp. 129-144 (2006)
-
(2006)
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
, pp. 129-144
-
-
Van Der Aalst, W.M.P.1
De Medeiros, A.K.A.2
Weijters, A.J.M.M.3
-
120
-
-
84944029013
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
130
-
-
74049134691
-
Change propagation in process models using behavioural profiles
-
Weidlich et al., 2009, IEEE Computer Society
-
Weidlich et al., 2009. Weidlich, M., Weske, M., Mendling, J.: Change Propagation in Process Models Using Behavioural Profiles. In: Proceedings of the IEEE International Conference on Services Computing (SCC), pp. 33-40. IEEE Computer Society (2009)
-
(2009)
Proceedings of the IEEE International Conference on Services Computing (SCC)
, pp. 33-40
-
-
Weidlich, M.1
Weske, M.2
Mendling, J.3
-
132
-
-
77957907017
-
Alternative approaches for workflow similarity
-
Wombacher and Li, 2010, IEEE Computer Society
-
Wombacher and Li, 2010. Wombacher, A., Li, C.: Alternative Approaches for Workflow Similarity. In: Proceedings of the 7th IEEE International Conference on Services Computing (SCC), pp. 337-345. IEEE Computer Society (2010)
-
(2010)
Proceedings of the 7th IEEE International Conference on Services Computing (SCC)
, pp. 337-345
-
-
Wombacher, A.1
Li, C.2
-
134
-
-
77952332592
-
UMLDiff: An algorithm for object-oriented design differencing
-
Xing and Stroulia, 2005, ACM
-
Xing and Stroulia, 2005. Xing, Z., Stroulia, E.: UMLDiff: An Algorithm for Object-Oriented Design Differencing. In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 54-65. ACM (2005)
-
(2005)
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE)
, pp. 54-65
-
-
Xing, Z.1
Stroulia, E.2
-
135
-
-
4644235137
-
-
Zimmermann et al., 2003, Springer
-
Zimmermann et al., 2003. Zimmermann, O., Tomlinson, M.R., Peuser, S.: Perspectives on Web Services: Applying SOAP, WSDL and UDDI to Real-World Projects (Springer Professional Computing), Springer (2003)
-
(2003)
Perspectives on Web Services: Applying SOAP, WSDL and UDDI to Real-World Projects (Springer Professional Computing)
-
-
Zimmermann, O.1
Tomlinson, M.R.2
Peuser, S.3
|