-
3
-
-
0002307971
-
Workflow verification: Finding control-flow errors using petri-net-based techniques
-
van der Aalst W (2000) Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: Business Process Management, pp 161-183
-
(2000)
Business Process Management
, pp. 161-183
-
-
Van Der Aalst, W.1
-
4
-
-
0037028431
-
Inheritance of workflows: An approach to tackling problems related to change
-
van der Aalst W, Basten T (2002) Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theor Comput Sci 270 (1-2):125-203
-
(2002)
Theor Comput Sci
, vol.270
, Issue.1-2
, pp. 125-203
-
-
Van Der Aalst, W.1
Basten, T.2
-
8
-
-
84931827065
-
The P2P approach to interorganizational workflows
-
Dittrich KR, Geppert A, Norrie MC eds, Springer Lecture Notes in Computer Science 2068
-
van der Aalst W, Weske M (2001a) The P2P Approach to Interorganizational Workflows. In: Dittrich KR, Geppert A, Norrie MC (eds) Proceedings of the 13th Conference on Advanced Information Systems Engineering (CAiSE'01), Springer Lecture Notes in Computer Science 2068, pp 140-156
-
(2001)
Proceedings of the 13th Conference on Advanced Information Systems Engineering (CAiSE'01)
, pp. 140-156
-
-
Van Der Aalst, W.1
Weske, M.2
-
10
-
-
2542457691
-
Business process management: A survey
-
Aalst W, Hofstede A, Weske M eds, Springer-Verlag, Berlin, Lecture Notes in Computer Science
-
van der Aalst W, Hofstede A, Weske M (2003a) Business Process Management: A Survey. In: Aalst W, Hofstede A, Weske M (eds) International Conference on Business Process Management (BPM 2003), Springer-Verlag, Berlin, Lecture Notes in Computer Science, vol 2678, pp 1-12
-
(2003)
International Conference on Business Process Management (BPM 2003)
, vol.2678
, pp. 1-12
-
-
Van Der Aalst, W.1
Hofstede, A.2
Weske, M.3
-
11
-
-
84892343085
-
Proceedings of the international conference on business process management., no. 2678
-
Springer, Heidelberg
-
van der Aalst W, ter Hofstede A, Weske M (eds) (2003b) Proceedings of the International Conference on Business Process Management., no. 2678 in Lecture Notes in Computer Science, Springer, Heidelberg
-
(2003)
Lecture Notes in Computer Science
-
-
Van Der Aalst, W.1
Ter Hofstede, A.2
Weske, M.3
-
12
-
-
0037411286
-
Workflow patterns
-
van der Aalst W, ter Hofstede A H M, Kiepuszewski B, Barros AP (2003c) Workflow Patterns. Distributed and Parallel Databases 14(1):5-51
-
(2003)
Distributed and Parallel Databases
, vol.14
, Issue.1
, pp. 5-51
-
-
Van Der Aalst, W.1
Ter Hofstede, A.H.M.2
Kiepuszewski, B.3
Barros, A.P.4
-
13
-
-
35048901912
-
Design and implementation of the YAWL system
-
Springer-Verlag, Lecture Notes in Computer Science
-
van der Aalst W, Aldred L, Dumas M, ter Hofstede A (2004) Design and Implementation of the YAWL System. In: Proceedings of The 16th International Conference on Advanced Information Systems Engineering (CAiSE 04), Springer-Verlag, Lecture Notes in Computer Science, vol 3084, pp 142-159
-
(2004)
Proceedings of the 16th International Conference on Advanced Information Systems Engineering (CAiSE 04)
, vol.3084
, pp. 142-159
-
-
Van Der Aalst, W.1
Aldred, L.2
Dumas, M.3
Ter Hofstede, A.4
-
14
-
-
84892205875
-
-
Springer, Heidelberg
-
van der Aalst W, Benatallah B, Casati F, Curbera F (eds) (2005a) Proceedings of the Third International Conference on Business Process Management., no. 3649 in Lecture Notes in Computer Science, Springer, Heidelberg
-
(2005)
Proceedings of the Third International Conference on Business Process Management., No. 3649 in Lecture Notes in Computer Science
-
-
Van Der Aalst, W.1
Benatallah, B.2
Casati, F.3
Curbera, F.4
-
16
-
-
33750024801
-
Process equivalence: Comparing two process models based on observed behavior
-
Springer, Lecture Notes in Computer Science
-
van der Aalst W, de Medeiros A K A, Weijters A J M M (2006) Process Equivalence: Comparing Two Process Models Based on Observed Behavior. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 129-144
-
(2006)
Business Process Management
, vol.4102
, pp. 129-144
-
-
Van Der Aalst, W.1
De Medeiros, A.K.A.2
Weijters, A.J.M.M.3
-
17
-
-
34147190948
-
Business process mining: An industrial application
-
van der Aalst W, Reijers H, Weijters A, van Dongen B, de Medeiros AA, Song M, Verbeek H (2007) Business Process Mining: An Industrial Application. Information Systems
-
(2007)
Information Systems
-
-
Van Der Aalst, W.1
Reijers, H.2
Weijters, A.3
Van Dongen, B.4
De Medeiros, A.A.5
Song, M.6
Verbeek, H.7
-
20
-
-
0038315923
-
-
Tech. rep., OASIS
-
Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business Process Execution Language for Web Services, version 1.1. Tech. rep., OASIS
-
(2003)
Business Process Execution Language for Web Services, Version 1.1
-
-
Andrews, T.1
Curbera, F.2
Dholakia, H.3
Goland, Y.4
Klein, J.5
Leymann, F.6
Liu, K.7
Roller, D.8
Smith, D.9
Thatte, S.10
Trickovic, I.11
Weerawarana, S.12
-
22
-
-
27144559252
-
Service interaction patterns
-
van der Aalst W, Benatallah B, Casati F, Curbera F eds, Springer, Heidelberg, Lecture Notes in Computer Science
-
Barros AP, Dumas M, ter Hofstede A H M (2005) Service Interaction Patterns. In: van der Aalst W, Benatallah B, Casati F, Curbera F (eds) Business Process Management, Springer, Heidelberg, Lecture Notes in Computer Science, vol 3649, pp 302-318
-
(2005)
Business Process Management
, vol.3649
, pp. 302-318
-
-
Barros, A.P.1
Dumas, M.2
Ter Hofstede, A.H.M.3
-
23
-
-
0034949703
-
Inheritance of behavior
-
Basten T, van der Aalst W (2001) Inheritance of Behavior. JLAP 47(2):47-145
-
(2001)
JLAP
, vol.47
, Issue.2
, pp. 47-145
-
-
Basten, T.1
Van Der Aalst, W.2
-
26
-
-
84892199415
-
Software engineering economics
-
Boehm BW (1981) Software Engineering Economics. Pearson Education
-
(1981)
Pearson Education
-
-
Boehm, B.W.1
-
27
-
-
24344453002
-
Lineage retrieval for scientific data processing: A survey
-
Bose R, Frew J (2005) Lineage Retrieval for Scientific Data Processing: A Survey. ACM Comput Surv 37(1):1-28
-
(2005)
ACM Comput Surv
, vol.37
, Issue.1
, pp. 1-28
-
-
Bose, R.1
Frew, J.2
-
28
-
-
33845228640
-
Web services and formal methods, third international workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006
-
2006, Springer
-
Bravetti M, Núñez M, Zavattaro G (eds) (2006) Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, Lecture Notes in Computer Science, vol 4184, Springer
-
Proceedings, Lecture Notes in Computer Science
, vol.4184
-
-
Bravetti, M.1
Núñez, M.2
Zavattaro, G.3
-
31
-
-
84892301011
-
Technologies for E-services, third international workshop, TES 2002, Hong Kong, China, August 23-24, 2002
-
Springer
-
Buchmann AP, Casati F, Fiege L, Hsu M, Shan MC (eds) (2002) Technologies for E-Services, Third International Workshop, TES 2002, Hong Kong, China, August 23-24, 2002, Proceedings, Lecture Notes in Computer Science, vol 2444, Springer
-
(2002)
Proceedings, Lecture Notes in Computer Science
, vol.2444
-
-
Buchmann, A.P.1
Casati, F.2
Fiege, L.3
Hsu, M.4
Shan, M.C.5
-
33
-
-
33744948281
-
Choreography and orchestration: A synergic approach for system design
-
Springer, Amsterdam, The Netherlands, Lecture Notes in Computer Science
-
Busi N, Gorrieri R, Guidi C, Lucchi R, Zavattaro G (2005) Choreography and Orchestration: A Synergic Approach for System Design. In: Proceedings 3rd International Conference on Service Oriented Computing (ICSOC 2005), Springer, Amsterdam, The Netherlands, Lecture Notes in Computer Science, vol 3826
-
(2005)
Proceedings 3rd International Conference on Service Oriented Computing (ICSOC 2005)
, vol.3826
-
-
Busi, N.1
Gorrieri, R.2
Guidi, C.3
Lucchi, R.4
Zavattaro, G.5
-
34
-
-
33746223508
-
Choreography and orchestration conformance for system design
-
Bologna, Italy
-
Busi N, Gorrieri R, Guidi C, Lucchi R, Zavattaro G (2006) Choreography and Orchestration Conformance for System Design. In: Proceedings 8th International Conference on Coordination Models and Languages, Bologna, Italy, pp 63-81
-
(2006)
Proceedings 8th International Conference on Coordination Models and Languages
, pp. 63-81
-
-
Busi, N.1
Gorrieri, R.2
Guidi, C.3
Lucchi, R.4
Zavattaro, G.5
-
35
-
-
0035479352
-
Compatibility and inheritance in software architectures
-
Canal C, Pimentel E, Troya JM (2001) Compatibility and inheritance in software architectures. Sci Comput Program 41(2):105-138
-
(2001)
Sci Comput Program
, vol.41
, Issue.2
, pp. 105-138
-
-
Canal, C.1
Pimentel, E.2
Troya, J.M.3
-
37
-
-
84976766949
-
The entity-relationship model - Toward a unified view of data
-
Chen PP (1976) The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans Database Syst 1(1):9-36
-
(1976)
ACM Trans Database Syst
, vol.1
, Issue.1
, pp. 9-36
-
-
Chen, P.P.1
-
40
-
-
27144547791
-
On the semantics of EPCs: Efficient calculation and simulation
-
van der Aalst W, Benatallah B, Casati F, Curbera F eds
-
Cuntz N, Kindler E (2005) On the Semantics of EPCs: Efficient Calculation and Simulation. In: van der Aalst W, Benatallah B, Casati F, Curbera F (eds) Business Process Management, Springer, Heidelberg, Lecture Notes in Computer Science, vol 3649, pp 398-403
-
(2005)
Business Process Management, Springer, Heidelberg, Lecture Notes in Computer Science
, vol.3649
, pp. 398-403
-
-
Cuntz, N.1
Kindler, E.2
-
45
-
-
84931828599
-
Relaxed soundness of business processes
-
Dittrich K, Geppert A, Norrie eds, Springer, Lecture Notes in Computer Science
-
Dehnert J, Rittgen P (2001) Relaxed Soundness of Business Processes. In: Dittrich K, Geppert A, Norrie (eds) Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE), Springer, Lecture Notes in Computer Science, vol 2068, pp 157-170
-
(2001)
Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE)
, vol.2068
, pp. 157-170
-
-
Dehnert, J.1
Rittgen, P.2
-
46
-
-
84892202211
-
Business process management: Second international conference, BPM 2004, Potsdam, Germany, June 17-18, 2004
-
Springer
-
Desel J, Pernici B, Weske M (eds) (2004) Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings, Lecture Notes in Computer Science, vol 3080, Springer
-
(2004)
Proceedings, Lecture Notes in Computer Science
, vol.3080
-
-
Desel, J.1
Pernici, B.2
Weske, M.3
-
49
-
-
84892242846
-
EbXML business process specification schema technical specification v2.0.4
-
Dubray JJ, Amand SS, Martin MJ (2006) ebXML Business Process Specification Schema Technical Specification v2.0.4. OASIS
-
(2006)
OASIS
-
-
Dubray, J.J.1
Amand, S.S.2
Martin, M.J.3
-
51
-
-
33749996965
-
Adapt or perish: Algebra and visual notation for service interface adaptation
-
Springer, Lecture Notes in Computer Science
-
Dumas M, Spork M, Wang K (2006) Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 65-80
-
(2006)
Business Process Management
, vol.4102
, pp. 65-80
-
-
Dumas, M.1
Spork, M.2
Wang, K.3
-
52
-
-
84892307861
-
-
Springer, Heidelberg
-
Dustdar S, Fiadeiro JL, Sheth A (eds) (2006) Proceedings of the Fourth International Conference on Business Process Management., no. 4102 in Lecture Notes in Computer Science, Springer, Heidelberg
-
(2006)
Proceedings of the Fourth International Conference on Business Process Management., No. 4102 in Lecture Notes in Computer Science
-
-
Dustdar, S.1
Fiadeiro, J.L.2
Sheth, A.3
-
53
-
-
84976838815
-
OfficeTalk-D: An experimental office information system
-
ACM Press, New York, NY, USA
-
Ellis CA, Bernal M (1982) OfficeTalk-D: An Experimental Office Information System. In: Proceedings of the SIGOA conference on Office Information Systems, ACM Press, New York, NY, USA, pp 131-140
-
(1982)
Proceedings of the SIGOA Conference on Office Information Systems
, pp. 131-140
-
-
Ellis, C.A.1
Bernal, M.2
-
56
-
-
33747074188
-
An overview of workflow management: From process modeling to workflow automation infrastructure
-
Georgakopoulos D, Hornick MF, Sheth AP (1995) An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3(2):119-153
-
(1995)
Distributed and Parallel Databases
, vol.3
, Issue.2
, pp. 119-153
-
-
Georgakopoulos, D.1
Hornick, M.F.2
Sheth, A.P.3
-
57
-
-
84892251099
-
-
San Francisco, California, USA, February 22-25, 1999, ACM
-
Georgakopoulos D, Prinz W, Wolf A (eds) (1999) Proceedings of the International joint Conference on Work Activities Coordination and Collaboration 1999, San Francisco, California, USA, February 22-25, 1999, ACM
-
(1999)
Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration 1999
-
-
Georgakopoulos, D.1
Prinz, W.2
Wolf, A.3
-
59
-
-
0030143334
-
Branching time and abstraction in bisimulation semantics
-
van Glabbeek R, Weijland W (1996) Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3):555-600
-
(1996)
Journal of the ACM
, vol.43
, Issue.3
, pp. 555-600
-
-
Van Glabbeek, R.1
Weijland, W.2
-
62
-
-
35148839490
-
A translation approach to portable ontologies
-
Gruber T (1993) A Translation Approach to Portable Ontologies. Knowledge Acquisition 5(2):199-220
-
(1993)
Knowledge Acquisition
, vol.5
, Issue.2
, pp. 199-220
-
-
Gruber, T.1
-
63
-
-
43949165743
-
Reengineering the corporation: A manifesto for business revolution
-
Hammer M, Champy J (1993) Reengineering the Corporation: A Manifesto for Business Revolution. Harper Business
-
(1993)
Harper Business
-
-
Hammer, M.1
Champy, J.2
-
66
-
-
33746331009
-
When are two workflows the same?
-
Newcastle, Australia
-
Hidders J, Dumas M, van der Aalst W, ter Hofstede AH, Verelst J (2005) When Are Two Workflows the Same? In: Proceedings 11th Australasian Theory Symposium (CATS 2005), Newcastle, Australia
-
(2005)
Proceedings 11th Australasian Theory Symposium (CATS 2005)
-
-
Hidders, J.1
Dumas, M.2
Van Der Aalst, W.3
Ter Hofstede, A.H.4
Verelst, J.5
-
67
-
-
0003945931
-
-
Tech. Rep. Document Number TC00-1003, Workflow Management Coalition
-
Hollingsworth D (1995) The Workflow Reference Model. Tech. Rep. Document Number TC00-1003, Workflow Management Coalition
-
(1995)
The Workflow Reference Model
-
-
Hollingsworth, D.1
-
68
-
-
33745238564
-
Web services: Foundation and composition
-
Hündling J, Weske M (2003) Web Services: Foundation and Composition. Electronic Markets 13 (2)
-
(2003)
Electronic Markets
, vol.13
, Issue.2
-
-
Hündling, J.1
Weske, M.2
-
69
-
-
0007737271
-
Architecture of workflow management systems (in German)
-
Jablonski S (1997) Architecture of Workflow Management Systems (in German). Informatik Forschung und Entwicklung 12(2):72-81
-
(1997)
Informatik Forschung und Entwicklung
, vol.12
, Issue.2
, pp. 72-81
-
-
Jablonski, S.1
-
71
-
-
10444235367
-
-
Tech. rep.
-
Kavantzas N, Burdett D, Ritzinger G, Lafon Y (2005) Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation. Tech. rep., http://www.w3.org/TR/ws-cdl-10
-
(2005)
Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation
-
-
Kavantzas, N.1
Burdett, D.2
Ritzinger, G.3
Lafon, Y.4
-
73
-
-
84892306305
-
Organization of the Corporation (in German)
-
Kosiol E (1962) Organization of the Corporation (in German). Gabler, Wiesbaden
-
(1962)
Gabler, Wiesbaden
-
-
Kosiol, E.1
-
74
-
-
38149097732
-
Advanced information systems engineering, 19th international conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007
-
Springer
-
Krogstie J, Opdahl AL, Sindre G (eds) (2007) Advanced Information Systems Engineering, 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings, Lecture Notes in Computer Science, vol 4495, Springer
-
(2007)
Proceedings, Lecture Notes in Computer Science
, vol.4495
-
-
Krogstie, J.1
Opdahl, A.L.2
Sindre, G.3
-
75
-
-
35448968455
-
Semantic enterprise services platform: Motivation, potential, functionality and application scenario
-
Hong Kong, October 2006
-
Kuropka D, Bog A, Weske M (2006) Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenario. In: Proceedings of the thenth IEEE international EDOC Enterprise Computing Conference. Hong Kong, October 2006, pp 253-261
-
(2006)
Proceedings of the Thenth IEEE International EDOC Enterprise Computing Conference
, pp. 253-261
-
-
Kuropka, D.1
Bog, A.2
Weske, M.3
-
76
-
-
0017996760
-
Time, clocks, and the ordering of events in a distributed system
-
Lamport L (1978) Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21(7):558-565
-
(1978)
Communications of the ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
77
-
-
0003479205
-
-
John Wiley & Sons. With participation of the Workflow Management Coalition
-
Lawrence P (ed) (1997) Workflow Handbook 1997. John Wiley & Sons. With participation of the Workflow Management Coalition
-
(1997)
Workflow Handbook 1997
-
-
Lawrence, P.1
-
78
-
-
0028089553
-
Managing business processes as information resources
-
Leymann F, Altenhuber W (1994) Managing Business Processes as Information Resources. IBM Systems Journal 33(2):326-348
-
(1994)
IBM Systems Journal
, vol.33
, Issue.2
, pp. 326-348
-
-
Leymann, F.1
Altenhuber, W.2
-
79
-
-
0030671712
-
Workflow-based applications
-
Leymann F, Roller D (1997) Workflow-based Applications. IBM Systems Journal 36(1):102-123
-
(1997)
IBM Systems Journal
, vol.36
, Issue.1
, pp. 102-123
-
-
Leymann, F.1
Roller, D.2
-
82
-
-
33749986269
-
Analyzing interacting BPEL processes
-
Springer, Lecture Notes in Computer Science
-
Lohmann N, Massuthe P, Stahl C, Weinberg D (2006) Analyzing Interacting BPEL Processes. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 17-32
-
(2006)
Business Process Management
, vol.4102
, pp. 17-32
-
-
Lohmann, N.1
Massuthe, P.2
Stahl, C.3
Weinberg, D.4
-
83
-
-
33750019247
-
Semantic correctness in adaptive process management systems
-
Springer, Lecture Notes in Computer Science
-
Ly LT, Rinderle S, Dadam P (2006) Semantic Correctness in Adaptive Process Management Systems. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 193-208
-
(2006)
Business Process Management
, vol.4102
, pp. 193-208
-
-
Ly, L.T.1
Rinderle, S.2
Dadam, P.3
-
87
-
-
24644509903
-
Analyzing web service based business processes
-
Cerioli M ed, Part of the 2005 European Joint Conferences on Theory and Practice of Software ETAPS'05, Springer-Verlag, Edinburgh, Scotland, Lecture Notes in Computer Science
-
Martens A (2005a) Analyzing Web Service based Business Processes. In: Cerioli M (ed) Proceedings of Intl. Conference on Fundamental Approaches to Software Engineering (FASE'05), Part of the 2005 European Joint Conferences on Theory and Practice of Software (ETAPS'05), Springer-Verlag, Edinburgh, Scotland, Lecture Notes in Computer Science, vol 3442
-
(2005)
Proceedings of Intl. Conference on Fundamental Approaches to Software Engineering (FASE'05)
, vol.3442
-
-
Martens, A.1
-
88
-
-
30944466083
-
Consistency between executable and abstract processes
-
IEEE Computer Society, Hong Kong, China
-
Martens A (2005b) Consistency between Executable and Abstract Processes. In: Proceedings IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), IEEE Computer Society, Hong Kong, China, pp 60-67
-
(2005)
Proceedings IEEE International Conference on E-technology, E-Commerce, and E-Services (EEE 2005)
, pp. 60-67
-
-
Martens, A.1
-
89
-
-
33947396869
-
Operating guidelines - An automata-theoretic foundation for the service-oriented architecture
-
IEEE Computer Society, Washington, DC, USA
-
Massuthe P, Schmidt K (2005) Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. In: Proceedings Fifth International Conference on Quality Software (QSIC 2005), IEEE Computer Society, Washington, DC, USA, pp 452-457
-
(2005)
Proceedings Fifth International Conference on Quality Software (QSIC 2005)
, pp. 452-457
-
-
Massuthe, P.1
Schmidt, K.2
-
90
-
-
33750030848
-
An operating guideline approach to the SOA
-
Massuthe P, Reisig W, Schmidt K (2005) An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3):35-43
-
(2005)
Annals of Mathematics, Computing & Teleinformatics
, vol.1
, Issue.3
, pp. 35-43
-
-
Massuthe, P.1
Reisig, W.2
Schmidt, K.3
-
94
-
-
33750020046
-
Automated service composition using heuristic search
-
Springer, Lecture Notes in Computer Science
-
Meyer H, Weske M (2006) Automated Service Composition Using Heuristic Search. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 81-96
-
(2006)
Business Process Management
, vol.4102
, pp. 81-96
-
-
Meyer, H.1
Weske, M.2
-
95
-
-
0004083930
-
-
Tech. rep., Knowlege Based Systems, Inc
-
Meyer R, Menzel C, Painter M, deWitte P, Blinn T, Perakath B (1995) Information Integration for Concurrent Engineering IDEF3 Process Description Capture Method Report. Tech. rep., Knowlege Based Systems, Inc.
-
(1995)
Information Integration for Concurrent Engineering IDEF3 Process Description Capture Method Report
-
-
Meyer, R.1
Menzel, C.2
Painter, M.3
De Witte, P.4
Blinn, T.5
Perakath, B.6
-
96
-
-
84883601028
-
Dynamic E-business: Trends in web services
-
Buchmann A, Casati F, Fiege L, Hsu MC, Shan MC eds, vol Springer Lecture Notes in Computer Science 2444
-
Moha N (2002a) Dynamic E-business: Trends in Web Services. In: Buchmann A, Casati F, Fiege L, Hsu MC, Shan MC (eds) Proceedings of the third VLDB workshop on Technologies for E-Services, vol Springer Lecture Notes in Computer Science 2444
-
(2002)
Proceedings of the Third VLDB Workshop on Technologies for E-services
-
-
Moha, N.1
-
98
-
-
38949191582
-
Semantic interoperability of web services - Challenges and experiences
-
IEEE Computer Society, Washington, DC, USA
-
Nagarajan M, Verma K, Sheth AP, Miller J, Lathem J (2006) Semantic interoperability of web services - challenges and experiences. In: ICWS'06: Proceedings of the IEEE International Conference on Web Services (ICWS'06), IEEE Computer Society, Washington, DC, USA, pp 373-382
-
(2006)
ICWS'06: Proceedings of the IEEE International Conference on Web Services (ICWS'06)
, pp. 373-382
-
-
Nagarajan, M.1
Verma, K.2
Sheth, A.P.3
Miller, J.4
Lathem, J.5
-
103
-
-
0015482049
-
On the criteria to be used in decomposing systems into modules
-
Parnas DL (1972) On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM 15(12):1053-1058
-
(1972)
Communications of the ACM
, vol.15
, Issue.12
, pp. 1053-1058
-
-
Parnas, D.L.1
-
104
-
-
84874258164
-
-
PhD thesis, Universiẗat Bonn, Institut für Instrumentelle Mathematik, Schriften IIM Nr.2
-
Petri CA (1962) Communication with Automata (in German). PhD thesis, Universiẗat Bonn, Institut für Instrumentelle Mathematik, Schriften IIM Nr.2
-
(1962)
Communication with Automata (in German)
-
-
Petri, C.A.1
-
108
-
-
27144489778
-
Using the Pi-calculus for formalizing workflow patterns
-
van der Aalst W, Benatallah B, Casati F, Curbera F eds, Springer, Heidelberg, Lecture Notes in Computer Science
-
Puhlmann F, Weske M (2005) Using the Pi-Calculus for Formalizing Workflow Patterns. In: van der Aalst W, Benatallah B, Casati F, Curbera F (eds) Business Process Management, Springer, Heidelberg, Lecture Notes in Computer Science, vol 3649, pp 153-168
-
(2005)
Business Process Management
, vol.3649
, pp. 153-168
-
-
Puhlmann, F.1
Weske, M.2
-
109
-
-
77049086354
-
Interaction soundness for service orchestrations
-
Dan A, Lamersdorf W eds, Springer Verlag, LNCS
-
Puhlmann F, Weske M (2006a) Interaction Soundness for Service Orchestrations. In: Dan A, Lamersdorf W (eds) Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 2006), Springer Verlag, LNCS, vol 4294, pp 302-313
-
(2006)
Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 2006)
, vol.4294
, pp. 302-313
-
-
Puhlmann, F.1
Weske, M.2
-
110
-
-
33750031307
-
Investigations on soundness regarding lazy activities
-
Springer, Lecture Notes in Computer Science
-
Puhlmann F, Weske M (2006b) Investigations on Soundness Regarding Lazy Activities. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 145-160
-
(2006)
Business Process Management
, vol.4102
, pp. 145-160
-
-
Puhlmann, F.1
Weske, M.2
-
113
-
-
0032024112
-
ADEPT-supporting dynamic changes of workflex flows without losing control
-
Reichert M, Dadam P (1998) ADEPT-Supporting Dynamic Changes of Workflex flows Without Losing Control. J Intell Inf Syst 10(2):93-129
-
(1998)
J Intell Inf Syst
, vol.10
, Issue.2
, pp. 93-129
-
-
Reichert, M.1
Dadam, P.2
-
116
-
-
84892285665
-
Database and expert systems applications, 6th international conference, DEXA'95, London, United Kingdom, September 4-8, 1995
-
Springer
-
Revell N, Tjoa AM (eds) (1995) Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings, Lecture Notes in Computer Science, vol 978, Springer
-
(1995)
Proceedings, Lecture Notes in Computer Science
, vol.978
-
-
Revell, N.1
Tjoa, A.M.2
-
117
-
-
35248862065
-
Evaluation of correctness criteria for dynamic workflow changes
-
van der Aalst W, ter Hofstede AHM, Weske M eds, Springer, Lecture Notes in Computer Science
-
Rinderle S, Reichert M, Dadam P (2003) Evaluation of Correctness Criteria for Dynamic Workflow Changes. In: van der Aalst W, ter Hofstede AHM, Weske M (eds) Business Process Management, Springer, Lecture Notes in Computer Science, vol 2678, pp 41-57
-
(2003)
Business Process Management
, vol.2678
, pp. 41-57
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
119
-
-
25144499038
-
Workflow resource patterns: Identification, representation and tool support
-
Russell N, van der Aalst W, ter Hofstede A H M, Edmond D (2005) Workflow Resource Patterns: Identification, Representation and Tool Support. In: CAiSE, pp 216-232
-
(2005)
CAiSE
, pp. 216-232
-
-
Russell, N.1
Van Der Aalst, W.2
Ter Hofstede, A.H.M.3
Edmond, D.4
-
121
-
-
0030532165
-
A Theory of Bisimulation for the pi-Calculus
-
Sangiorgi D (1996) A Theory of Bisimulation for the pi-Calculus. Acta Informatica 16(33):69-97
-
(1996)
Acta Informatica
, vol.16
, Issue.33
, pp. 69-97
-
-
Sangiorgi, D.1
-
126
-
-
33750005373
-
Workflow model compositions preserving relaxed soundness
-
Springer, Lecture Notes in Computer Science
-
Siegeris J, Zimmermann A (2006) Workflow Model Compositions Preserving Relaxed Soundness. In: Business Process Management, Springer, Lecture Notes in Computer Science, vol 4102, pp 177-192
-
(2006)
Business Process Management
, vol.4102
, pp. 177-192
-
-
Siegeris, J.1
Zimmermann, A.2
-
133
-
-
34047168649
-
Optimal adaptation in web processes with coordination constraints
-
IEEE Computer Society, Washington, DC, USA
-
Verma K, Doshi P, Gomadam K, Miller J, Sheth A (2006) Optimal adaptation in web processes with coordination constraints. In: ICWS'06: Proceedings of the IEEE International Conference on Web Services (ICWS'06), IEEE Computer Society, Washington, DC, USA, pp 257-264
-
(2006)
ICWS'06: Proceedings of the IEEE International Conference on Web Services (ICWS'06)
, pp. 257-264
-
-
Verma, K.1
Doshi, P.2
Gomadam, K.3
Miller, J.4
Sheth, A.5
-
137
-
-
2542478249
-
Workflow management systems: Formal foundation, conceptual design, implementation aspects
-
Weske M (2000) Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects. Habilitation Thesis, University of Münster
-
(2000)
Habilitation Thesis, University of Münster
-
-
Weske, M.1
-
138
-
-
0346533172
-
Analysing, modelling and improving workflow application development processes
-
Weske M, Goesmann T, Holten R, Striemer R (2001) Analysing, modelling and improving workflow application development processes. Software Process: Improvement and Practice 6(1):35-46
-
(2001)
Software Process: Improvement and Practice
, vol.6
, Issue.1
, pp. 35-46
-
-
Weske, M.1
Goesmann, T.2
Holten, R.3
Striemer, R.4
-
139
-
-
0006477892
-
-
Springer, Berlin, chap Workflow and Service Composition Languages, International Handbooks on Information Systems
-
Weske M, Vossen G, Puhlmann F (2005) Handbook on Architectures of Information Systems, Springer, Berlin, chap Workflow and Service Composition Languages, pp 369-390. International Handbooks on Information Systems
-
(2005)
Handbook on Architectures of Information Systems
, pp. 369-390
-
-
Weske, M.1
Vossen, G.2
Puhlmann, F.3
-
143
-
-
77954106452
-
-
Workflow Management Coalition, Document Number WFMC-TC-1025
-
Workflow Management Coalition (2005b) XML Process Definition Language. Document Number WFMC-TC-1025
-
(2005)
XML Process Definition Language
-
-
-
145
-
-
4544231767
-
-
Tech. rep., W3C
-
World Wide Web Consortium (2003) SOAP Version 1.2. Tech. rep., W3C, http://www.w3.org/TR/soap
-
(2003)
SOAP Version 1.2
-
-
-
146
-
-
38049067584
-
A language for service behavior modeling
-
Springer Verlag, Montpellier, France
-
Zaha JM, Barros A, Dumas M, ter Hofstede A (2006a) A Language for Service Behavior Modeling. In: Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006), Springer Verlag, Montpellier, France
-
(2006)
Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006)
-
-
Zaha, J.M.1
Barros, A.2
Dumas, M.3
Ter Hofstede, A.4
-
147
-
-
35248894799
-
Service interaction modeling: Bridging global and local views
-
Hong Kong
-
Zaha JM, Dumas M, ter Hofstede A, Barros A, Decker G (2006b) Service Interaction Modeling: Bridging Global and Local Views. In: Proceedings 10th IEEE International EDOC Conference (EDOC 2006), Hong Kong
-
(2006)
Proceedings 10th IEEE International EDOC Conference (EDOC 2006)
-
-
Zaha, J.M.1
Dumas, M.2
Ter Hofstede, A.3
Barros, A.4
Decker, G.5
|