-
1
-
-
78349272816
-
Precise detection of conflicting change operations using process model terms
-
ser. LNCS Springer, October
-
C. Gerth, J. Küster, M. Luckey, and G. Engels, "Precise Detection of Conflicting Change Operations using Process Model Terms," in Proceedings of MODELS'10, ser. LNCS, vol. 6395, no. Part II. Springer, October 2010, pp. 93-107.
-
(2010)
Proceedings of MODELS'10
, vol.6395
, Issue.PART II
, pp. 93-107
-
-
Gerth, C.1
Küster, J.2
Luckey, M.3
Engels, G.4
-
2
-
-
0012268580
-
The linear time-branching time spectrum I - The semantics of concrete, sequential processes
-
Chapter 1. Elsevier
-
R. v. Glabbeek, "The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes," in Handbook of Process Algebra, Chapter 1. Elsevier, 1988, pp. 3-99.
-
(1988)
Handbook of Process Algebra
, pp. 3-99
-
-
Glabbeek, R.V.1
-
3
-
-
77957911027
-
Detection of semantically equivalent fragments for business process model change management
-
IEEE Computer Society
-
C. Gerth, M. Luckey, J. M. Küster, and G. Engels, "Detection of Semantically Equivalent Fragments for Business Process Model Change Management," in Proceedings of SCC'10. IEEE Computer Society, 2010, pp. 57-64.
-
(2010)
Proceedings of SCC'10
, pp. 57-64
-
-
Gerth, C.1
Luckey, M.2
Küster, J.M.3
Engels, G.4
-
4
-
-
84944029013
-
An alternative way to analyze workflow graphs
-
ser. LNCS Springer
-
W. M. P. van der Aalst, A. Hirnschall, and H. M. W. Verbeek, "An Alternative Way to Analyze Workflow Graphs," in Proceedings of CAiSE'02, ser. LNCS, vol. 2348. Springer, 2002, pp. 535-552.
-
(2002)
Proceedings of CAiSE'02
, vol.2348
, pp. 535-552
-
-
Van Der Aalst, W.M.P.1
Hirnschall, A.2
Verbeek, H.M.W.3
-
5
-
-
38349014920
-
Faster and more focused control-flow analysis for business process models through SESE decomposition
-
ser. LNCS Springer
-
J. Vanhatalo, H. Völzer, and F. Leymann, "Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition," in Proceedings of ICSOC'07, ser. LNCS, vol. 4749. Springer, 2007, pp. 43-55.
-
(2007)
Proceedings of ICSOC'07
, vol.4749
, pp. 43-55
-
-
Vanhatalo, J.1
Völzer, H.2
Leymann, F.3
-
6
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
7
-
-
77249089468
-
Language-independent change management of process models
-
ser. LNCS Springer
-
C. Gerth, J. M. Küster, and G. Engels, "Language-Independent Change Management of Process Models," in Proceedings of MODELS'09, ser. LNCS, vol. 5795. Springer, 2009, pp. 152-166.
-
(2009)
Proceedings of MODELS'09
, vol.5795
, pp. 152-166
-
-
Gerth, C.1
Küster, J.M.2
Engels, G.3
-
9
-
-
0001116877
-
Binary codes capable of correcting deletions, insertions and reversals
-
V. I. Levenshtein, "Binary Codes Capable of Correcting Deletions, Insertions and Reversals," Soviet Physics Doklady, vol. 10, p. 707, 1966.
-
(1966)
Soviet Physics Doklady
, vol.10
, pp. 707
-
-
Levenshtein, V.I.1
-
10
-
-
70349836054
-
Different models for model matching: An analysis of approaches to support model differencing
-
IEEE Computer Society
-
D. S. Kolovos, D. Di Ruscio, A. Pierantonio, and R. F. Paige, "Different Models for Model Matching: An analysis of approaches to support model differencing," in Proceedings of CVSM'09 @ ICSE'09. IEEE Computer Society, 2009, pp. 1-6.
-
(2009)
Proceedings of CVSM'09 @ ICSE'09
, pp. 1-6
-
-
Kolovos, D.S.1
Di Ruscio, D.2
Pierantonio, A.3
Paige, R.F.4
-
11
-
-
0242370962
-
Difference and union of models
-
ser. LNCS Springer
-
M. Alanen and I. Porres, "Difference and Union of Models," in UML 2003, ser. LNCS, vol. 2863. Springer, 2003, pp. 2-17.
-
(2003)
UML 2003
, vol.2863
, pp. 2-17
-
-
Alanen, M.1
Porres, I.2
-
13
-
-
84868698825
-
-
Eclipse Foundation, "EMF Compare," http://www.eclipse.org/ modeling/emft/?project=compare, 2009.
-
(2009)
EMF Compare
-
-
-
14
-
-
77952332592
-
UMLDiff: An algorithm for object-oriented design differencing
-
New York, NY, USA: ACM
-
Z. Xing and E. Stroulia, "UMLDiff: An Algorithm for Object-Oriented Design Differencing," in Proceedings of ASE'05. New York, NY, USA: ACM, 2005, pp. 54-65.
-
(2005)
Proceedings of ASE'05
, pp. 54-65
-
-
Xing, Z.1
Stroulia, E.2
-
15
-
-
1542317057
-
Differences between versions of UML diagrams
-
ACM Press
-
D. Ohst, M. Welle, and U. Kelter, "Differences between versions of UML diagrams," in Proceedings of ESEC-FSE '03. ACM Press, 2003, pp. 227-236.
-
(2003)
Proceedings of ESEC-FSE '03
, pp. 227-236
-
-
Ohst, D.1
Welle, M.2
Kelter, U.3
-
16
-
-
37849026828
-
Difference computation of large models
-
ACM Press
-
C. Treude, S. Berlik, S. Wenzel, and U. Kelter, "Difference Computation of Large Models," in Proceedings of ESEC-FSE '07. ACM Press, 2007, pp. 295-304.
-
(2007)
Proceedings of ESEC-FSE '07
, pp. 295-304
-
-
Treude, C.1
Berlik, S.2
Wenzel, S.3
Kelter, U.4
-
17
-
-
34548726133
-
Matching and merging of statecharts specifications
-
IEEE Computer Society
-
S. Nejati, M. Sabetzadeh, M. Chechik, S. M. Easterbrook, and P. Zave, "Matching and Merging of Statecharts Specifications," in Proceedings of ICSE'07. IEEE Computer Society, 2007, pp. 54-64.
-
(2007)
Proceedings of ICSE'07
, pp. 54-64
-
-
Nejati, S.1
Sabetzadeh, M.2
Chechik, M.3
Easterbrook, S.M.4
Zave, P.5
-
18
-
-
74049134691
-
Change propagation in process models using behavioural profiles
-
IEEE Computer Society
-
M. Weidlich, M. Weske, and J. Mendling, "Change Propagation in Process Models Using Behavioural Profiles," in IEEE SCC. IEEE Computer Society, 2009, pp. 33-40.
-
(2009)
IEEE SCC
, pp. 33-40
-
-
Weidlich, M.1
Weske, M.2
Mendling, J.3
-
19
-
-
77957907017
-
Alternative approaches for workflow similarity
-
IEEE Computer Society
-
A. Wombacher and C. Li, "Alternative Approaches for Workflow Similarity," in Proceedings of SCC'10. IEEE Computer Society, 2010, pp. 337-345.
-
(2010)
Proceedings of SCC'10
, pp. 337-345
-
-
Wombacher, A.1
Li, C.2
-
20
-
-
84864560148
-
Measuring similarity between semantic business process models
-
Australian Computer Society
-
M. Ehrig, A. Koschmider, and A. Oberweis, "Measuring Similarity between Semantic Business Process Models," in APCCM, ser. CRPIT, vol. 67. Australian Computer Society, 2007, pp. 71-80.
-
(2007)
APCCM, Ser. CRPIT
, vol.67
, pp. 71-80
-
-
Ehrig, M.1
Koschmider, A.2
Oberweis, A.3
-
21
-
-
45849131316
-
Measuring similarity between business process models
-
ser. LNCS Springer
-
B. F. van Dongen, R. M. Dijkman, and J. Mendling, "Measuring Similarity between Business Process Models," in CAiSE, ser. LNCS, vol. 5074. Springer, 2008, pp. 450-464.
-
(2008)
CAiSE
, vol.5074
, pp. 450-464
-
-
Van Dongen, B.F.1
Dijkman, R.M.2
Mendling, J.3
|