-
2
-
-
84944183958
-
Model Driven Engineering
-
Proc. 3rd International Conference on Integrated Formal Methods IFM'02, Turku, Finland, May
-
S. Kent, Model Driven Engineering, Proc. 3rd International Conference on Integrated Formal Methods (IFM'02), Turku, Finland, May 2002, LNCS 2335, pp. 286-298.
-
(2002)
LNCS
, vol.2335
, pp. 286-298
-
-
Kent, S.1
-
3
-
-
33749645214
-
The Role of Visual Modeling and Model Transformation in Business-driven Development
-
Vienna, Austria, April
-
J. Koehler, R. Häuser, J. Küster, K. Ryndina, J. Vanhatalo, and M. Wahler, The Role of Visual Modeling and Model Transformation in Business-driven Development, Proc. 5th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06), Vienna, Austria, April 2006.
-
(2006)
Proc. 5th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06)
-
-
Koehler, J.1
Häuser, R.2
Küster, J.3
Ryndina, K.4
Vanhatalo, J.5
Wahler, M.6
-
4
-
-
0000571953
-
Analyzing Process Models Using Graph Reduction Techniques
-
W Sadiq and M.E. Orlowska, Analyzing Process Models Using Graph Reduction Techniques, Information Systems, 25(2), pp. 117-134, 2000.
-
(2000)
Information Systems
, vol.25
, Issue.2
, pp. 117-134
-
-
Sadiq, W.1
Orlowska, M.E.2
-
5
-
-
84948674839
-
A Novel Graph Reduction Algorithm to Identify Structural Conflicts
-
H. Lin, Z. Zhao, H. Li, and Z. Chen, A Novel Graph Reduction Algorithm to Identify Structural Conflicts, Proc. 35th Hawaii International Conference on System Sciences (HICSS-35), 2002.
-
(2002)
Proc. 35th Hawaii International Conference on System Sciences (HICSS-35)
-
-
Lin, H.1
Zhao, Z.2
Li, H.3
Chen, Z.4
-
6
-
-
84944029013
-
An Alternative Way to Analyze Workflow Graphs
-
Proc. 14th International Conference on Advanced Information Systems Engineering CAiSE'02, Toronto, Canada, May
-
W.M.P. van der Aalst, A. Hirnschall, and H.M.W. Verbeek, An Alternative Way to Analyze Workflow Graphs, Proc. 14th International Conference on Advanced Information Systems Engineering (CAiSE'02), Toronto, Canada, May 2002, LNCS 2348, pp. 535-552.
-
(2002)
LNCS
, vol.2348
, pp. 535-552
-
-
van der Aalst, W.M.P.1
Hirnschall, A.2
Verbeek, H.M.W.3
-
7
-
-
38749126298
-
-
OMG UML2, Unified Modeling Language: Superstructure, version 2.0, August 2005
-
OMG (UML2), Unified Modeling Language: Superstructure, version 2.0, http://www.omg.org/cgi-bin/apps/doc?formal/05-07-04.pdf, August 2005.
-
-
-
-
8
-
-
38749141627
-
-
IBM Modeler, WebSphere Business Modeler, Advanced Version 6.0
-
IBM (Modeler), WebSphere Business Modeler, Advanced Version 6.0, http://www-306.ibm.com/software/integration/wbimodeler/.
-
-
-
-
9
-
-
38749107217
-
-
BPEL4WS, Business Process Execution Language for Web Services, version 1.1, May 2003
-
BPEL4WS, Business Process Execution Language for Web Services, version 1.1, ftp://www6.software.ibm.com/software/developer/library/wsbpe1.pdf, May 2003.
-
-
-
-
10
-
-
34548095350
-
Compiling Business Processes: Untangling Unstructured Loops in Irreducible Flow Graphs
-
W. Zhao, R. Hauser, K. Bhattacharya, B.R. Bryant, and F. Cao, Compiling Business Processes: Untangling Unstructured Loops in Irreducible Flow Graphs, Int. J. Web and Grid Services, 2(1), pp. 68-91, 2006.
-
(2006)
Int. J. Web and Grid Services
, vol.2
, Issue.1
, pp. 68-91
-
-
Zhao, W.1
Hauser, R.2
Bhattacharya, K.3
Bryant, B.R.4
Cao, F.5
-
11
-
-
0027928779
-
The Program Structure Tree: Computing Control Regions in Linear Time
-
Orlando, Florida, June
-
R. Johnson, D. Pearson, and K. Pingali, The Program Structure Tree: Computing Control Regions in Linear Time, Proc. ACM Sigplan Conference on Programming Language Design and Implementation (PLDI'94), Orlando, Florida, June 1994, pp. 171-185.
-
(1994)
Proc. ACM Sigplan Conference on Programming Language Design and Implementation (PLDI'94)
, pp. 171-185
-
-
Johnson, R.1
Pearson, D.2
Pingali, K.3
-
12
-
-
27144463739
-
An Analysis and Taxonomy of Unstructured Workflows
-
Proc. 3rd International Conference on Business Process Management BPM'05, Nancy, France, September
-
R. Liu and A. Kumar, An Analysis and Taxonomy of Unstructured Workflows, Proc. 3rd International Conference on Business Process Management (BPM'05), Nancy, France, September 2005, LNCS 3649, pp. 268-284.
-
(2005)
LNCS
, vol.3649
, pp. 268-284
-
-
Liu, R.1
Kumar, A.2
-
13
-
-
84943276740
-
On Structured Workflow Modelling
-
Proc. 12th Conference on Advanced Information Systems Engineering CAiSE'00, Stockholm, Sweden, June
-
B. Kiepuszewski, A.H.M. ter Hofstede, and C.J. Bussler, On Structured Workflow Modelling, Proc. 12th Conference on Advanced Information Systems Engineering (CAiSE'00), Stockholm, Sweden, June 2000, LNCS 1789, pp. 431-445.
-
(2000)
LNCS
, vol.1789
, pp. 431-445
-
-
Kiepuszewski, B.1
ter Hofstede, A.H.M.2
Bussler, C.J.3
-
14
-
-
33846012075
-
-
A. Aho, R. Sethi, and J. Ullman, Compilers, Addison-Wesley, Reading, MA
-
A. Aho, R. Sethi, and J. Ullman, Compilers - Principles, Techniques, and Tools, Addison-Wesley, Reading, MA, 1986.
-
(1986)
Principles, Techniques, and Tools
-
-
-
15
-
-
0347095766
-
Flow Graph Reducibility
-
M.S. Hecht and J.D. Ullman, Flow Graph Reducibility, SIAM J. Comput., 1(2), pp. 188-202, 1972.
-
(1972)
SIAM J. Comput
, vol.1
, Issue.2
, pp. 188-202
-
-
Hecht, M.S.1
Ullman, J.D.2
-
16
-
-
0026829472
-
A Control-Flow Normalization Algorithm and Its Complexity
-
Z. Ammarguellat, A Control-Flow Normalization Algorithm and Its Complexity, Software Engineering, 18(3), pp. 237-251, 1992.
-
(1992)
Software Engineering
, vol.18
, Issue.3
, pp. 237-251
-
-
Ammarguellat, Z.1
-
17
-
-
35048866869
-
Compiling Process Graphs into Executable Code
-
Proc. 3rd International Conference on Generative Programming and Component Engineering GPCE'04, Vancouver, Canada, October
-
R. Hauser and J. Koehler, Compiling Process Graphs into Executable Code, Proc. 3rd International Conference on Generative Programming and Component Engineering (GPCE'04), Vancouver, Canada, October 2004, LNCS 3286, pp. 317-336.
-
(2004)
LNCS
, vol.3286
, pp. 317-336
-
-
Hauser, R.1
Koehler, J.2
-
18
-
-
38749144632
-
Transforming Unstructured Cycles to Structured Cycles in Sequential Flow Graphs
-
3624, August
-
R. Hauser, Transforming Unstructured Cycles to Structured Cycles in Sequential Flow Graphs, IBM Research Report RZ 3624, August 2005.
-
(2005)
IBM Research Report RZ
-
-
Hauser, R.1
|