-
1
-
-
0000571953
-
Analyzing process models using graph reduction techniques
-
Sadiq W., and Orlowska M.E. Analyzing process models using graph reduction techniques. Inf. Syst. 25 2 (2000) 117-134
-
(2000)
Inf. Syst.
, vol.25
, Issue.2
, pp. 117-134
-
-
Sadiq, W.1
Orlowska, M.E.2
-
2
-
-
38349014920
-
Faster and more focused control-flow analysis for business process models though SESE decomposition
-
ICSOC 2007. Krämer B.J., Lin K.-J., and Narasimhan P. (Eds), Springer
-
Vanhatalo J., Völzer H., and Leymann F. Faster and more focused control-flow analysis for business process models though SESE decomposition. In: Krämer B.J., Lin K.-J., and Narasimhan P. (Eds). ICSOC 2007. LNCS vol. 4749 (2007), Springer 43-55
-
(2007)
LNCS
, vol.4749
, pp. 43-55
-
-
Vanhatalo, J.1
Völzer, H.2
Leymann, F.3
-
3
-
-
57049146832
-
Detecting and resolving process model differences in the absence of a change log
-
BPM 2008. Dumas M., Reichert M., and Shan M.-C. (Eds), Springer-Verlag, Berlin, Heidelberg
-
Küster J., Gerth C., Förster A., and Engels G. Detecting and resolving process model differences in the absence of a change log. In: Dumas M., Reichert M., and Shan M.-C. (Eds). BPM 2008. LNCS vol. 5240 (2008), Springer-Verlag, Berlin, Heidelberg 244-260
-
(2008)
LNCS
, vol.5240
, pp. 244-260
-
-
Küster, J.1
Gerth, C.2
Förster, A.3
Engels, G.4
-
4
-
-
57049173035
-
Applying patterns during business process modeling
-
BPM 2008. Dumas M., Reichert M., and Shan M.-C. (Eds), Springer-Verlag, Berlin, Heidelberg
-
Gschwind T., Koehler J., and Wong J. Applying patterns during business process modeling. In: Dumas M., Reichert M., and Shan M.-C. (Eds). BPM 2008. LNCS vol. 5240 (2008), Springer-Verlag, Berlin, Heidelberg 4-19
-
(2008)
LNCS
, vol.5240
, pp. 4-19
-
-
Gschwind, T.1
Koehler, J.2
Wong, J.3
-
5
-
-
35248896299
-
From BPMN process models to BPEL web services
-
C. Ouyang, M. Dumas, A.H.M. ter Hofstede, W.M.P. van der Aalst, From BPMN process models to BPEL web services, in: ICWS, IEEE Computer Society, 2006, pp. 285-292.
-
(2006)
ICWS, IEEE Computer Society
, pp. 285-292
-
-
Ouyang, C.1
Dumas, M.2
ter Hofstede, A.H.M.3
van der Aalst, W.M.P.4
-
6
-
-
33845457573
-
WorkflowNet2BPEL4WS: A tool for translating unstructured workflow processes to readable BPEL
-
OTM Conferences 1, of, Springer
-
K.B. Lassen, W.M.P. van der Aalst, WorkflowNet2BPEL4WS: A tool for translating unstructured workflow processes to readable BPEL, in: OTM Conferences (1), vol. 4275 of LNCS, Springer, 2006, pp. 127-144.
-
(2006)
LNCS
, vol.4275
, pp. 127-144
-
-
Lassen, K.B.1
van der Aalst, W.M.P.2
-
7
-
-
84873943238
-
-
N. Lohmann, J. Kleine, Fully-automatic translation of open workflow net models into human-readable abstract BPEL processes, in: Modellierung 2008, P-127 of Lecture Notes in Informatics (LNI), GI, 2008, pp. 57-72.
-
N. Lohmann, J. Kleine, Fully-automatic translation of open workflow net models into human-readable abstract BPEL processes, in: Modellierung 2008, vol. P-127 of Lecture Notes in Informatics (LNI), GI, 2008, pp. 57-72.
-
-
-
-
8
-
-
0027928779
-
The program structure tree: Computing control regions in linear time
-
R. Johnson, D. Pearson, K. Pingali, The program structure tree: Computing control regions in linear time, in: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994, pp. 171-185.
-
(1994)
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI)
, pp. 171-185
-
-
Johnson, R.1
Pearson, D.2
Pingali, K.3
-
9
-
-
67349273970
-
-
Efficient program analysis using dependence flow graphs, Ph.D. thesis, Cornell University, Ithaca, NY, USA
-
R.C. Johnson, Efficient program analysis using dependence flow graphs, Ph.D. thesis, Cornell University, Ithaca, NY, USA, 1995.
-
(1995)
-
-
Johnson, R.C.1
-
10
-
-
0019093232
-
Prime subprogram parsing of a program
-
ACM, New York, NY, USA
-
R.E. Tarjan, J. Valdes, Prime subprogram parsing of a program, in: POPL '80: Proceedings of the Seventh ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, New York, NY, USA, 1980, pp. 95-105.
-
(1980)
POPL '80: Proceedings of the Seventh ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 95-105
-
-
Tarjan, R.E.1
Valdes, J.2
-
11
-
-
57049147959
-
The refined process structure tree
-
BPM 2008. Dumas M., Reichert M., and Shan M.-C. (Eds), Springer-Verlag, Berlin, Heidelberg
-
Vanhatalo J., Völzer H., and Koehler J. The refined process structure tree. In: Dumas M., Reichert M., and Shan M.-C. (Eds). BPM 2008. LNCS vol. 5240 (2008), Springer-Verlag, Berlin, Heidelberg 100-115
-
(2008)
LNCS
, vol.5240
, pp. 100-115
-
-
Vanhatalo, J.1
Völzer, H.2
Koehler, J.3
-
12
-
-
0001243769
-
Dividing a graph into triconnected components
-
Hopcroft J., and Tarjan R.E. Dividing a graph into triconnected components. SIAM J. Comput. 2 (1973) 135-158
-
(1973)
SIAM J. Comput.
, vol.2
, pp. 135-158
-
-
Hopcroft, J.1
Tarjan, R.E.2
-
14
-
-
84958530316
-
A linear time implementation of SPQR-trees
-
Graph Drawing. Marks J. (Ed), Springer
-
Gutwenger C., and Mutzel P. A linear time implementation of SPQR-trees. In: Marks J. (Ed). Graph Drawing. LNCS vol. 1984 (2000), Springer 77-90
-
(2000)
LNCS
, vol.1984
, pp. 77-90
-
-
Gutwenger, C.1
Mutzel, P.2
-
15
-
-
0012920672
-
-
Ph.D. thesis, Stanford University, CA, USA
-
J. Valdes Ayesta, Parsing flowcharts and series-parallel graphs., Ph.D. thesis, Stanford University, CA, USA, 1978.
-
(1978)
Parsing flowcharts and series-parallel graphs
-
-
Valdes Ayesta, J.1
-
16
-
-
58049114816
-
Automatic workflow graph refactoring and completion
-
ICSOC 2008. Bouguettaya A., Krueger I.H., and Margaria T. (Eds), Springer-Verlag, Berlin, Heidelberg
-
Vanhatalo J., Völzer H., Leymann F., and Moser S. Automatic workflow graph refactoring and completion. In: Bouguettaya A., Krueger I.H., and Margaria T. (Eds). ICSOC 2008. LNCS vol. 5364 (2008), Springer-Verlag, Berlin, Heidelberg 100-115
-
(2008)
LNCS
, vol.5364
, pp. 100-115
-
-
Vanhatalo, J.1
Völzer, H.2
Leymann, F.3
Moser, S.4
|