-
1
-
-
0032627183
-
Formalization and verification of event-driven process chains
-
van der Aalst WMP (1999) Formalization and verification of event-driven process chains. Inf Softw Technol 41(10):639-650
-
(1999)
Inf Softw Technol
, vol.41
, Issue.10
, pp. 639-650
-
-
van der Aalst, W.M.P.1
-
2
-
-
8644292666
-
On the semantics of EPCs: A vicious circle
-
Nüttgens M, Rump FJ (eds) Trier, Germany
-
van der Aalst WMP, Desel J, Kindler E (2002) On the semantics of EPCs: A vicious circle. In: Nüttgens M, Rump FJ (eds) Proceedings of the 1st GI-workshop on business process management with event-driven process chains (EPK 2002), Trier, Germany, pp 71-79
-
(2002)
Proceedings of the 1st GI-workshop on Business Process Management With Event-driven Process Chains (EPK 2002)
, pp. 71-79
-
-
van der Aalst, W.M.P.1
Desel, J.2
Kindler, E.3
-
4
-
-
0038315923
-
Business process execution language for Web Services, Version 1.1
-
Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems
-
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, Specification, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, Siebel Systems
-
(2003)
-
-
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
-
5
-
-
1142292262
-
-
ANSI X12 Technical Report Type II-ASC X12C/TG3/2002-xxx, ANSI ASC X12C Communications and Controls Subcommittee
-
ANSI X12 (2002) ASC X12 Reference Model for XML Design, Technical Report Type II-ASC X12C/TG3/2002-xxx, ANSI ASC X12C Communications and Controls Subcommittee
-
(2002)
ASC X12 Reference Model for XML Design
-
-
-
8
-
-
0003746794
-
XML Schema Part 1: Structures
-
W3C Recommendation 02 May, World Wide Web Consortium
-
Beech D, Lawrence S, Moloney M, Mendelsohn N, Thompson, HS (2001) XML Schema Part 1: Structures. W3C Recommendation 02 May, World Wide Web Consortium
-
(2001)
-
-
Beech, D.1
Lawrence, S.2
Moloney, M.3
Mendelsohn, N.4
Thompson, H.S.5
-
9
-
-
35248854880
-
The Petri Net Markup Language: Concepts, Technology, and Tools
-
van der Aalst WMP, Best E (eds)
-
Billington J, Christensen S, van Hee KE, Kindler E, Kummer O, Petrucci L, Post R, Stehno C, Weber M (2003). The Petri Net Markup Language: Concepts, Technology, and Tools. In: Van der Aalst WMP, Best E (eds) Applications and theory of Petri Nets 2003, 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, vol 2679 of Lecture Notes in Computer Science, pp 483-505
-
(2003)
Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, Vol 2679 of Lecture Notes in Computer Science
, pp. 483-505
-
-
Billington, J.1
Christensen, S.2
van Hee, K.E.3
Kindler, E.4
Kummer, O.5
Petrucci, L.6
Post, R.7
Stehno, C.8
Weber, M.9
-
10
-
-
0003840045
-
XML Schema Part 2: Datatypes
-
W3C Recommendation 02 May, World Wide Web Consortium
-
Biron PV, Malhorta, A (2001) XML Schema Part 2: Datatypes. W3C Recommendation 02 May, World Wide Web Consortium
-
(2001)
-
-
Biron, P.V.1
Malhorta, A.2
-
11
-
-
0002105236
-
Achievements of relational database schema design theory revisited
-
Libkin L, Thalheim B (eds)
-
Biskup J (1998) Achievements of relational database schema design theory revisited. In: Libkin L, Thalheim B (eds) Semantics in Databases, vol 1358, Lecture Notes in Computer Science, pp 29-54
-
(1998)
Semantics in Databases, Vol 1358, Lecture Notes in Computer Science
, pp. 29-54
-
-
Biskup, J.1
-
12
-
-
0017218747
-
Software engineering
-
Boehm BW (1976) Software engineering. IEEE Trans Comput 25(12):1226-1241
-
(1976)
IEEE Trans Comput
, vol.25
, Issue.12
, pp. 1226-1241
-
-
Boehm, B.W.1
-
13
-
-
0003891936
-
Cascading style sheets, level 2
-
W3C Recommendation 12-May-1998, World Wide Web Consortium
-
Bos B, Lie HW, Lilley C, Jacobs I (1998) Cascading style sheets, level 2. W3C Recommendation 12-May-1998, World Wide Web Consortium
-
(1998)
-
-
Bos, B.1
Lie, H.W.2
Lilley, C.3
Jacobs, I.4
-
14
-
-
0041791511
-
Modellierung von Prozessketten mittels Petri-Netz-Theorie
-
Technical Report 107, Institut für Wirtschaftsinformatik, Saarbrücken, Germany
-
Chen R, Scheer AW (1994) Modellierung von Prozessketten mittels Petri-Netz-Theorie, Technical Report 107, Institut für Wirtschaftsinformatik, Saarbrücken, Germany
-
(1994)
-
-
Chen, R.1
Scheer, A.W.2
-
18
-
-
33744776409
-
BPM 2003 - Market milestone report
-
Delphi Group Delphi Group White Paper
-
Delphi Group (2003) BPM 2003 - market milestone report, Delphi Group White Paper
-
(2003)
-
-
-
19
-
-
1142270649
-
Developing XML documents with guaranteed "good" properties
-
Kunii HS, Jajodia S, Sølvberg A (eds)
-
Embley DW, Mok WY (2001) Developing XML documents with guaranteed "good" properties. In: Kunii HS, Jajodia S, Sølvberg A (eds) Conceptual modeling - ER 2001, Proceedings of the 20th international conference on conceptual modeling, vol 2224 of Lecture Notes in Computer Science, pp 426-441
-
(2001)
Conceptual Modeling - ER 2001, Proceedings of the 20th International Conference on Conceptual Modeling, Vol 2224 of Lecture Notes in Computer Science
, pp. 426-441
-
-
Embley, D.W.1
Mok, W.Y.2
-
20
-
-
0003112251
-
Viewpoints: A framework for integrating multiple perspectives in system development
-
Finkelstein A, Kramer J, Nuseibeh B, Finkelstein L, Goedicke M (1992) Viewpoints: A framework for integrating multiple perspectives in system development. Int J Softw Eng Knowl Eng 2(1):31-57
-
(1992)
Int J Softw Eng Knowl Eng
, vol.2
, Issue.1
, pp. 31-57
-
-
Finkelstein, A.1
Kramer, J.2
Nuseibeh, B.3
Finkelstein, L.4
Goedicke, M.5
-
21
-
-
33749042657
-
The BPA market catches another major updraft
-
Gartner Research 12 June, Note M-16-8153
-
Gartner Research (2002) The BPA market catches another major updraft, Gartner's Application Development & Maintenance Research, 12 June, Note M-16-8153
-
(2002)
Gartner's Application Development & Maintenance Research
-
-
-
22
-
-
33744729111
-
XML-export und -import mit ARIS 5.0
-
IDS Scheer AG Whitepaper January 2001
-
IDS Scheer AG (2001) XML-export und -import mit ARIS 5.0, Whitepaper January 2001
-
(2001)
-
-
-
23
-
-
33744741467
-
XML Design Rules
-
ISO - International Organization for Standardization ISO 15022 Technical Specification
-
ISO - International Organization for Standardization (2001) XML Design Rules. ISO 15022 Technical Specification
-
(2001)
-
-
-
24
-
-
84954456500
-
Metamodelling platforms
-
Invited Paper Bauknecht K, Min Tjoa A, Quirchmayer G (eds)
-
Karagiannis D, Kühn H (2002) Metamodelling platforms. Invited Paper. In: Bauknecht K, Min Tjoa A, Quirchmayer G (eds) Proceedings of the 3rd international conference EC-Web 2002-Dexa 2002, Aix-en-Provence, France, vol 2455 of Lecture Notes in Computer Science, pp 182-196
-
(2002)
Proceedings of the 3rd International Conference EC-Web 2002-Dexa 2002, Aix-en-Provence, France, Vol 2455 of of Lecture Notes in Computer Science
, pp. 182-196
-
-
Karagiannis, D.1
Kühn, H.2
-
25
-
-
33744772725
-
SAP R/3 Analyzer. Business process reengineering based on the R/3 reference model
-
SAP AG
-
Keller G, Meinhardt S (1994) SAP R/3 Analyzer. Business process reengineering based on the R/3 reference model. SAP AG
-
(1994)
-
-
Keller, G.1
Meinhardt, S.2
-
26
-
-
0003792676
-
SAP(R) R/3 process oriented implementation: Iterative process prototyping
-
Addison-Wesley, Reading
-
Keller G, Teufel T (1998) SAP(R) R/3 process oriented implementation: iterative process prototyping. Addison-Wesley, Reading
-
(1998)
-
-
Keller, G.1
Teufel, T.2
-
27
-
-
0346245772
-
Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerter Prozessketten (EPK)"
-
Technical Report 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany
-
Keller G, Nüttgens M, Scheer AW (1992) Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerter Prozessketten (EPK)", Technical Report 89, Institut für Wirtschaftsinformatik, Saarbrücken, Germany
-
(1992)
-
-
Keller, G.1
Nüttgens, M.2
Scheer, A.W.3
-
29
-
-
84957691850
-
Petri net based certification of event driven process chains
-
Desel J, Silva M (eds)
-
Langner P, Schneider C, Wehler J (1998) Petri net based certification of event driven process chains. In: Desel J, Silva M (eds) Application and theory of petri nets, vol 1420 of Lecture Notes in Computer Science, pp 286-305
-
(1998)
Application and Theory of Petri Nets, Vol 1420 of Lecture Notes in Computer Science
, pp. 286-305
-
-
Langner, P.1
Schneider, C.2
Wehler, J.3
-
30
-
-
33744727820
-
Event-driven-process-chain-markup-language (EPML): Anforderungen zur Definition eines XML-Schemas für Ereignisgesteuerte Prozessketten (EPK)
-
Nüttgens M, Rump FJ (eds) Trier, Germany
-
Mendling J, Nüttgens M (2002) Event-driven-process-chain-markup-language (EPML): Anforderungen zur Definition eines XML-Schemas für Ereignisgesteuerte Prozessketten (EPK). In: Nüttgens M, Rump FJ (eds) Proceedings of the 1st GI-workshop on business process management with event-driven process chains (EPK 2002), Trier, Germany, pp 87-93
-
(2002)
Proceedings of the 1st GI-workshop on Business Process Management With Event-driven Process Chains (EPK 2002)
, pp. 87-93
-
-
Mendling, J.1
Nüttgens, M.2
-
31
-
-
85134479749
-
EPC Modelling based on implicit arc types
-
Godlevsky M, Liddle SW, Mayr HC (eds)
-
Mendling J, Nüttgens M (2003a) EPC Modelling based on implicit arc types. In: Godlevsky M, Liddle SW, Mayr HC (eds) Proceedings of the 2nd international conference on information systems technology and its applications (ISTA), Kharkiv, Ukraine, vol 30 of Lecture Notes in Informatics, pp 131-142
-
(2003)
Proceedings of the 2nd International Conference on Information Systems Technology and Its Applications (ISTA) Kharkiv, Ukraine Vol 30 of Lecture Notes in Informatics
, pp. 131-142
-
-
Mendling, J.1
Nüttgens, M.2
-
32
-
-
4243198591
-
EPC syntax validation with XML schema languages
-
Nüttgens M, Rump FJ (eds) Bamberg, Germany
-
Mendling J, Nüttgens M (2003b) EPC syntax validation with XML schema languages. In: Nüttgens M, Rump FJ (eds) Proceedings of the 2nd GI-workshop on business process management with event-driven process chains (EPK 2003), Bamberg, Germany, pp 19-30
-
(2003)
Proceedings of the 2nd GI-workshop on Business Process Management With Event-driven Process Chains (EPK 2003)
, pp. 19-30
-
-
Mendling, J.1
Nüttgens, M.2
-
33
-
-
33744742073
-
XML-basierte Geschäftsprozessmodellierung
-
Uhr W, Esswein W, Schoop E (eds) Dresden, Germany
-
Mendling J, Nüttgens M (2003c) XML-basierte Geschäftsprozessmodellierung. In: Uhr W, Esswein W, Schoop E (eds) Proceedings of Wirtschaftsinformatik 2003/Band II, Dresden, Germany, pp 161-180
-
(2003)
Proceedings of Wirtschaftsinformatik 2003/Band II
, pp. 161-180
-
-
Mendling, J.1
Nüttgens, M.2
-
35
-
-
33744719861
-
EPML2SVG - Generating Websites from EPML processes
-
Nüttgens M, Rump FJ (eds) Luxembourg
-
Mendling J, Brabenetz, A, Neumann G (2004a) EPML2SVGügenerating Websites from EPML processes. In: Nüttgens M, Rump FJ (eds) Proceedings of the 3rd GI-workshop on business process management with event-driven process chains (EPK 2004), Luxembourg, pp 55-64
-
(2004)
Proceedings of the 3rd GI-workshop on Business Process Management With Event-driven Process Chains (EPK 2004)
, pp. 55-64
-
-
Mendling, J.1
Brabenetz, A.2
Neumann, G.3
-
36
-
-
33744768178
-
Transformation of ARIS markup language to EPML
-
Nüttgens M, Rump FJ (ed) Luxembourg
-
Mendling J, Neumann G, Nüttgens M (2004b) Transformation of ARIS markup language to EPML. In: Nüttgens M, Rump FJ (ed) Proceedings of the 3rd GI-workshop on business process management with event-driven process chains (EPK 2004), Luxembourg, pp 27-38
-
(2004)
Proceedings of the 3rd GI-workshop on Business Process Management With Event-driven Process Chains (EPK 2004)
, pp. 27-38
-
-
Mendling, J.1
Neumann, G.2
Nüttgens, M.3
-
39
-
-
85134579600
-
Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK)
-
Desel J, Weske M (eds)
-
Nüttgens M, Rump FJ (2002) Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Desel J, Weske M (eds) Promise 2002 - proceedings of the GI-workshop, Potsdam, Germany, vol 21 of Lecture Notes in Informatics, pp 64-77
-
(2002)
Promise 2002 - Proceedings of the GI-workshop, Potsdam, Germany Vol 21 of Lecture Notes in Informatics
, pp. 64-77
-
-
Nüttgens, M.1
Rump, F.J.2
-
40
-
-
0346640627
-
XML metadata interchange (XMI)
-
OMG Object Management Group Specification, Version 2.0
-
OMG Object Management Group (2003) XML metadata interchange (XMI), Specification, Version 2.0
-
(2003)
-
-
-
41
-
-
0010790246
-
-
Springer, Berlin Heidelberg New York
-
Österle H (1995) Business Engineering. Springer, Berlin Heidelberg New York
-
(1995)
Business Engineering
-
-
Österle, H.1
-
42
-
-
24144470217
-
OWL-S: Semantic markup for Web Services
-
OWL Services Coalition Whitepaper Version 1.0
-
OWL Services Coalition (2004) OWL-S: Semantic markup for Web Services. Whitepaper Version 1.0
-
(2004)
-
-
-
44
-
-
33744725994
-
Evaluation of workflow management systems - A meta model approach
-
Siau K, Wand Y, Parsons J (eds) Barcelona, Spain, June 1997
-
Rosemann M, zur Mühlen M (1997) Evaluation of workflow management systems - a meta model approach. In: Siau K, Wand Y, Parsons J (eds) Proceedings of the 2nd CAiSE/IFIP 8.1 international workshop on evaluation of modeling methods in systems analysis and design (EMMSAD'97), Barcelona, Spain, June 1997
-
(1997)
Proceedings of the 2nd CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'97)
-
-
Rosemann, M.1
zur Mühlen, M.2
-
45
-
-
8644219820
-
Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten - Formalisierung, Analyse und Ausführung von EPKs
-
Teubner Verlag
-
Rump FJ (1999) Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten - Formalisierung, Analyse und Ausführung von EPKs. Teubner Verlag
-
(1999)
-
-
Rump, F.J.1
-
46
-
-
0003677281
-
ARIS business process modelling
-
Springer, Berlin Heidelberg New York
-
Scheer AW (2000) ARIS business process modelling. Springer, Berlin Heidelberg New York
-
(2000)
-
-
Scheer, A.W.1
-
48
-
-
0348155848
-
The Petri net markup language
-
Ehrig H, Reisig W, Rozenberg G, Weber H (eds)
-
Weber M, Kindler E (2002) The Petri net markup language. In: Ehrig H, Reisig W, Rozenberg G, Weber H (eds) Petri net technology for communication based systems, vol 2472 of Lecture Notes in Computer Science, pp 124-144
-
(2002)
Petri Net Technology for Communication Based Systems, Vol 2472 of Lecture Notes in Computer Science
, pp. 124-144
-
-
Weber, M.1
Kindler, E.2
-
49
-
-
0037841163
-
Workflow process definition interface - XML process definition language
-
WfMC Workflow Management Coalition Document Number WFMC-TC-1025, October 25, 2002, Version 1.0
-
WfMC Workflow Management Coalition (2002) Workflow process definition interface - XML process definition language, Document Number WFMC-TC-1025, October 25, 2002, Version 1.0
-
(2002)
-
-
-
50
-
-
20444488202
-
Business process modeling notation
-
Version 1.0. BPMI
-
White SA (2004) Business process modeling notation. Version 1.0. BPMI
-
(2004)
-
-
White, S.A.1
|