-
1
-
-
0141940583
-
Business artifacts: An approach to operational specification
-
A. Nigam and N. S. Caswell, Business artifacts: An approach to operational specification, IBM Syst. J. 42(3) (2003) 428-445.
-
(2003)
IBM Syst. J.
, vol.42
, Issue.3
, pp. 428-445
-
-
Nigam, A.1
Caswell, N.S.2
-
2
-
-
85099426094
-
Artifact-centric business process models: Brief survey of research results and challenges
-
R. Hull, Artifact-centric business process models: Brief survey of research results and challenges, in OTM Conferences (2) (2008), pp. 1152-1163.
-
(2008)
OTM Conferences
, vol.2
, pp. 1152-1163
-
-
Hull, R.1
-
3
-
-
85087468070
-
Business artifacts: A data-centric approach to modeling business operations and processes
-
D. Cohn and R. Hull, Business artifacts: A data-centric approach to modeling business operations and processes, IEEE Data Eng. Bull. 32(3) (2009) 3-9.
-
(2009)
IEEE Data Eng. Bull.
, vol.32
, Issue.3
, pp. 3-9
-
-
Cohn, D.1
Hull, R.2
-
4
-
-
75649120369
-
Artifact-centric workflow dominance
-
D. Calvanese, G. De Giacomo, R. Hull and J. Su, Artifact-centric workflow dominance, in ICSOC/ServiceWave (2009), pp. 130-143.
-
(2009)
ICSOC/ServiceWave
, pp. 130-143
-
-
Calvanese, D.1
De Giacomo, G.2
Hull, R.3
Su, J.4
-
5
-
-
0035622204
-
Proclets: A framework for lightweight interacting workflow processes
-
W. M. P. van der Aalst, P. Barthelmess, C. A. Ellis and J. Wainer, Proclets: A framework for lightweight interacting workflow processes, Int. J. Cooperative Inf. Syst. 10(4) (2001) 443-481.
-
(2001)
Int. J. Cooperative Inf. Syst
, vol.10
, Issue.4
, pp. 443-481
-
-
Van Der Aalst, W.M.P.1
Barthelmess, P.2
Ellis, C.A.3
Wainer, J.4
-
6
-
-
77951437693
-
The axml artifact model
-
S. Abiteboul, P. Bourhis, A. Galland and B. Marinoiu, The axml artifact model, in TIME (2009), pp. 11-17.
-
(2009)
TIME
, pp. 11-17
-
-
Abiteboul, S.1
Bourhis, P.2
Galland, A.3
Marinoiu, B.4
-
7
-
-
38049138975
-
Towards formal analysis of artifact-centric business process models
-
K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu and J. Su, Towards formal analysis of artifact-centric business process models, in Proc. Int. Conf. Business Process Management (2007), pp. 288-304.
-
(2007)
Proc. Int. Conf. Business Process Management
, pp. 288-304
-
-
Bhattacharya, K.1
Gerede, C.E.2
Hull, R.3
Liu, R.4
Su, J.5
-
8
-
-
20244389224
-
A model-driven approach to industrializing discovery processes in pharmaceutical research
-
K. Bhattacharya, R. Guttman, K. Lyman, F. F. H. III, S. Kumaran, P. Nandi, F. Y. Wu, P. Athma, C. Freiberg, L. Johannsen and A. Staudt, A model-driven approach to industrializing discovery processes in pharmaceutical research, IBM Syst. J. 44(1) (2005) 145-162.
-
(2005)
IBM Syst. J.
, vol.44
, Issue.1
, pp. 145-162
-
-
Bhattacharya, K.1
Guttman, R.2
Lyman, K.F.F.H.3
Kumaran, S.4
Nandi, P.5
Wu, F.Y.6
Athma, P.7
Freiberg, C.8
Johannsen, L.9
Staudt, A.10
-
9
-
-
0003962322
-
-
The MIT Press, Cambridge, MA, USA
-
E. M. Clarke, O. Grumberg and D. A. Peled, Model Checking (The MIT Press, Cambridge, MA, USA, 1999).
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
11
-
-
70349135092
-
Automatic construction of simple artifact-based business processes
-
C. Fritz, R. Hull and J. Su, Automatic construction of simple artifact-based business processes, in ICDT (2009), pp. 225-238.
-
(2009)
ICDT
, pp. 225-238
-
-
Fritz, C.1
Hull, R.2
Su, J.3
-
14
-
-
80052819470
-
Foundations of relational artifacts verification
-
B. B. Hariri, D. Calvanese, G. De Giacomo, R. De Masellis and P. Felli, Foundations of relational artifacts verification, in BPM (2011), pp. 379-395.
-
(2011)
BPM
, pp. 379-395
-
-
Hariri, B.B.1
Calvanese, D.2
De Giacomo, G.3
De Masellis, R.4
Felli, P.5
-
15
-
-
18144386595
-
Data exchange: Semantics and query answering
-
R. Fagin, P. G. Kolaitis, R. J. Miller and L. Popa, Data exchange: Semantics and query answering, Theor. Comput. Sci. 336(1) (2005) 89-124.
-
(2005)
Theor. Comput. Sci.
, vol.336
, Issue.1
, pp. 89-124
-
-
Fagin, R.1
Kolaitis, P.G.2
Miller, R.J.3
Popa, L.4
-
16
-
-
0036036947
-
Data integration: A theoretical perspective
-
M. Lenzerini, Data integration: A theoretical perspective, in PODS (2002), pp. 233-246.
-
(2002)
PODS
, pp. 233-246
-
-
Lenzerini, M.1
-
18
-
-
77954498300
-
On chase termination beyond stratification
-
M. Meier, M. Schmidt and G. Lausen, On chase termination beyond stratification, Proc. VLDB 2(1) (2009) 970-981.
-
(2009)
Proc. VLDB
, vol.2
, Issue.1
, pp. 970-981
-
-
Meier, M.1
Schmidt, M.2
Lausen, G.3
-
19
-
-
70350657109
-
Generalized schema-mappings: From termination to tractability
-
B. Marnette, Generalized schema-mappings: From termination to tractability, in PODS (2009), pp. 13-22.
-
(2009)
PODS
, pp. 13-22
-
-
Marnette, B.1
-
20
-
-
77954489461
-
Static analysis of schema-mappings ensuring oblivious termination
-
B. Marnette and F. Geerts, Static analysis of schema-mappings ensuring oblivious termination, in ICDT (2010), pp. 183-195.
-
(2010)
ICDT
, pp. 183-195
-
-
Marnette, B.1
Geerts, F.2
-
22
-
-
0347534589
-
Finiteness is mu-ineffable
-
D. M. R. Park, Finiteness is mu-ineffable, Theor. Comput. Sci. 3(2) (1976) 173-181.
-
(1976)
Theor. Comput. Sci.
, vol.3
, Issue.2
, pp. 173-181
-
-
Park, D.M.R.1
-
25
-
-
84958776545
-
Merlin, Optimal implementation of conjunctive queries in relational data bases
-
A. K. Chandra and P. M. Merlin, Optimal implementation of conjunctive queries in relational data bases, in STOC (1977), pp. 77-90.
-
(1977)
STOC
, pp. 77-90
-
-
Chandra, A.K.1
Merlin, P.M.2
-
26
-
-
0000826543
-
Negation as failure
-
K. L. Clark, Negation as failure, in Logic and Data Bases (1977), pp. 293-322.
-
(1977)
Logic and Data Bases
, pp. 293-322
-
-
Clark, K.L.1
-
27
-
-
84988613226
-
An algebraic definition of simulation between programs
-
R. Milner, An algebraic definition of simulation between programs, in IJCAI (1971), pp. 481-489.
-
(1971)
IJCAI
, pp. 481-489
-
-
Milner, R.1
-
29
-
-
84972541021
-
A lattice-theoretical fixpoint theorem and its applications
-
A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pac. J. Math. 5(2) (1955) 285-309.
-
(1955)
Pac. J. Math
, vol.5
, Issue.2
, pp. 285-309
-
-
Tarski, A.1
-
30
-
-
85008047921
-
Basili, Software defect reduction top 10 list
-
B. W. Boehm and V. R. Basili, Software defect reduction top 10 list, IEEE Comput. 34(1) (2001) 135-137.
-
(2001)
IEEE Comput
, vol.34
, Issue.1
, pp. 135-137
-
-
Boehm, B.W.1
Basili, V.R.2
-
32
-
-
78249281968
-
Abstracting abstract machines
-
D. V. Horn and M. Might, Abstracting abstract machines, in ICFP (2010), pp. 51-62.
-
(2010)
ICFP
, pp. 51-62
-
-
Horn, D.V.1
Might, M.2
-
35
-
-
33745358907
-
Challenges in business process analysis and optimization
-
M. Castellanos, F. Casati, M. Sayal and U. Dayal, Challenges in business process analysis and optimization, in TES (2005), pp. 1-10.
-
(2005)
TES
, pp. 1-10
-
-
Castellanos, M.1
Casati, F.2
Sayal, M.3
Dayal, U.4
-
36
-
-
33646145999
-
Challenges in business process management: Verification of business processing using petri nets
-
W. M. P. van der Aalst, Challenges in business process management: Verification of business processing using petri nets, Bullet. EATCS 80 (2003) 174-199.
-
(2003)
Bullet. EATCS
, vol.80
, pp. 174-199
-
-
Van Der Aalst, W.M.P.1
-
37
-
-
0003450426
-
-
1st edn.Springer Publishing Company, Incorporated
-
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci and P. Schnoebelen, Systems and Software Verification: Model-Checking Techniques and Tools, 1st edn. (Springer Publishing Company, Incorporated, 2010).
-
(2010)
Systems and Software Verification: Model-Checking Techniques and Tools
-
-
Berard, B.1
Bidoit, M.2
Finkel, A.3
Laroussinie, F.4
Petit, A.5
Petrucci, L.6
Schnoebelen, P.7
-
38
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary-decision diagrams
-
R. E. Bryant, Symbolic boolean manipulation with ordered binary-decision diagrams, ACM Comput. Surv. 24(3) (1992) 293-318.
-
(1992)
ACM Comput. Surv.
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
39
-
-
4243189286
-
Counterexample-guided abstraction refinement for symbolic model checking
-
E. M. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith, Counterexample-guided abstraction refinement for symbolic model checking, J. ACM 50(5) (2003) 752-794.
-
(2003)
J. ACM
, vol.50
, Issue.5
, pp. 752-794
-
-
Clarke, E.M.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
41
-
-
0038176921
-
An algebraic approach to data languages and timed languages
-
P. Bouyer, A. Petit and D. Th́erien, An algebraic approach to data languages and timed languages, Inf. Computation 182(2) (2003) 137-162.
-
(2003)
Inf. Computation
, vol.182
, Issue.2
, pp. 137-162
-
-
Bouyer, P.1
Petit, A.2
Th́erien, D.3
-
42
-
-
0029724779
-
General decidability theorems for infinite-state systems
-
P. A. Abdulla, K. Cerans, B. Jonsson and Y.-K. Tsay, General decidability theorems for infinite-state systems, in Logic in Computer Science (1996), pp. 313-321.
-
(1996)
Logic in Computer Science
, pp. 313-321
-
-
Abdulla, P.A.1
Cerans, K.2
Jonsson, B.3
Tsay, Y.-K.4
-
43
-
-
0034911369
-
Well-structured transition systems everywhere!
-
A. Finkel and P. Schnoebelen, Well-structured transition systems everywhere! Theor. Comput. Sci. 256 (2001) 63-92.
-
(2001)
Theor. Comput. Sci.
, vol.256
, pp. 63-92
-
-
Finkel, A.1
Schnoebelen, P.2
-
44
-
-
0028420231
-
Monadic second-order definable graph transductions: A survey
-
B. Courcelle, Monadic second-order definable graph transductions: A survey, Theor. Comput. Sci. 126(1) (1994) 53-75.
-
(1994)
Theor. Comput. Sci.
, vol.126
, Issue.1
, pp. 53-75
-
-
Courcelle, B.1
-
45
-
-
0037187424
-
Monadic second-order logic on tree-like structures
-
I. Walukiewicz, Monadic second-order logic on tree-like structures, Theor. Comput. Sci. 275(1-2) (2002) 311-346.
-
(2002)
Theor. Comput. Sci.
, vol.275
, Issue.1-2
, pp. 311-346
-
-
Walukiewicz, I.1
-
46
-
-
84944413844
-
Regular model checking
-
A. Bouajjani, B. Jonsson, M. Nilsson and T. Touili, Regular model checking, in Proc. 16th Int. Conf. Computer Aided Verification (2000), 403-418.
-
(2000)
Proc.16th Int. Conf. Computer Aided Verification
, pp. 403-418
-
-
Bouajjani, A.1
Jonsson, B.2
Nilsson, M.3
Touili, T.4
-
47
-
-
84863921735
-
Transitive closures of regular relations for verifying infinite-state systems
-
B. Jonsson and M. Nilsson, Transitive closures of regular relations for verifying infinite-state systems, in TACAS (2000), pp. 220-234.
-
(2000)
TACAS
, pp. 220-234
-
-
Jonsson, B.1
Nilsson, M.2
-
49
-
-
82055200394
-
Verification of deployed artifact systems via data abstraction
-
F. Belardinelli, A. Lomuscio and F. Patrizi, Verification of deployed artifact systems via data abstraction, in ICSOC 2011, pp. 142-156.
-
(2011)
ICSOC
, pp. 142-156
-
-
Belardinelli, F.1
Lomuscio, A.2
Patrizi, F.3
-
50
-
-
70349144063
-
Automatic verification of data-centric business processes
-
A. Deutsch, R. Hull, F. Patrizi and V. Vianu, Automatic verification of data-centric business processes, in ICDT (2009), pp. 252-267.
-
(2009)
ICDT
, pp. 252-267
-
-
Deutsch, A.1
Hull, R.2
Patrizi, F.3
Vianu, V.4
-
51
-
-
79952325678
-
Artifact systems with data dependencies and arithmetic
-
E. Damaggio, A. Deutsch and V. Vianu, Artifact systems with data dependencies and arithmetic, in ICDT (2011), pp. 66-77.
-
(2011)
ICDT
, pp. 66-77
-
-
Damaggio, E.1
Deutsch, A.2
Vianu, V.3
-
52
-
-
0037591752
-
Verification of relational transducers for electronic commerce
-
M. Spielmann, Verification of relational transducers for electronic commerce, J. Comput. Syst. Sci. 66(1) (2003) 40-65.
-
(2003)
J. Comput. Syst. Sci.
, vol.66
, Issue.1
, pp. 40-65
-
-
Spielmann, M.1
-
53
-
-
84957069428
-
Automatic verification of abstract state machines
-
M. Spielmann, Automatic verification of abstract state machines, in CAV (1999), pp. 431-442.
-
(1999)
CAV
, pp. 431-442
-
-
Spielmann, M.1
-
54
-
-
0034294212
-
Relational transducers for electronic commerce
-
S. Abiteboul, V. Vianu, B. S. Fordham and Y. Yesha, Relational transducers for electronic commerce, J. Comput. Syst. Sci. 61(2) (2000) 236-269.
-
(2000)
J. Comput. Syst. Sci.
, vol.61
, Issue.2
, pp. 236-269
-
-
Abiteboul, S.1
Vianu, V.2
Fordham, B.S.3
Yesha, Y.4
-
55
-
-
33745587348
-
Automatic composition of transition-based semantic web services with messaging
-
D. Berardi, D. Calvanese, G. De Giacomo, R. Hull and M. Mecella, Automatic composition of transition-based semantic web services with messaging, in Proc. VLDB (2005), pp. 613-624.
-
(2005)
Proc. VLDB
, pp. 613-624
-
-
Berardi, D.1
Calvanese, D.2
De Giacomo, G.3
Hull, R.4
Mecella, M.5
-
56
-
-
38649121446
-
Static analysis of business artifact-centric operational models
-
C. E. Gerede, K. Bhattacharya and J. Su, Static analysis of business artifact-centric operational models, in SOCA (2007), pp. 133-140.
-
(2007)
SOCA
, pp. 133-140
-
-
Gerede, C.E.1
Bhattacharya, K.2
Su, J.3
-
57
-
-
38349066387
-
Specification and verification of artifact behaviors in business process models
-
C. E. Gerede and J. Su, Specification and verification of artifact behaviors in business process models, in ICSOC (2007), pp. 181-192.
-
(2007)
ICSOC
, pp. 181-192
-
-
Gerede, C.E.1
Su, J.2
|