The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

Matthes Elstermann; Andre Wolski; Albert Fleischmann; Christian Stary; Stefan Borgert

doi:10.1007/978-3-030-76020-5_16

The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

Matthes Elstermann
, Andre Wolski
, Albert Fleischmann
, Christian Stary
, Stefan Borgert

Institute of Business Informatics - Communications Engineering

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Logic, Computation and Rigorous Methods
Editors	Raschke A., Riccobene E., Schewe KD.
Place of Publication	Cham
Publisher	Springer
Pages	283-300
Number of pages	18
Volume	12750
DOIs	https://doi.org/10.1007/978-3-030-76020-5_16
Publication status	Published - 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12750 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

102 Computer Sciences
102006 Computer supported cooperative work (CSCW)
102015 Information systems
102024 Usability research
102025 Distributed systems
102027 Web engineering
603124 Theory of science

JKU Focus areas

Digital Transformation

Access to Document

10.1007/978-3-030-76020-5_16

Cite this

Elstermann, M., Wolski, A., Fleischmann, A., Stary, C., & Borgert, S. (2021). The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. In Raschke A., Riccobene E., Schewe KD. (Ed.), Logic, Computation and Rigorous Methods (Vol. 12750, pp. 283-300). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12750 LNCS). Springer. https://doi.org/10.1007/978-3-030-76020-5_16

Elstermann, Matthes ; Wolski, Andre ; Fleischmann, Albert et al. / The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. Logic, Computation and Rigorous Methods. editor / Raschke A., Riccobene E., Schewe KD. Vol. 12750 Cham : Springer, 2021. pp. 283-300 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{9c34622d59704493add2c7724b553448,

title = "The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes",

author = "Matthes Elstermann and Andre Wolski and Albert Fleischmann and Christian Stary and Stefan Borgert",

year = "2021",

doi = "10.1007/978-3-030-76020-5\_16",

language = "English",

volume = "12750",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "283--300",

editor = "\{Raschke A., Riccobene E., Schewe KD.\}",

booktitle = "Logic, Computation and Rigorous Methods",

}

Elstermann, M, Wolski, A, Fleischmann, A, Stary, C & Borgert, S 2021, The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. in Raschke A., Riccobene E., Schewe KD. (ed.), Logic, Computation and Rigorous Methods. vol. 12750, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12750 LNCS, Springer, Cham, pp. 283-300. https://doi.org/10.1007/978-3-030-76020-5_16

The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. / Elstermann, Matthes; Wolski, Andre; Fleischmann, Albert et al.
Logic, Computation and Rigorous Methods. ed. / Raschke A., Riccobene E., Schewe KD. Vol. 12750 Cham: Springer, 2021. p. 283-300 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12750 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

AU - Elstermann, Matthes

AU - Wolski, Andre

AU - Fleischmann, Albert

AU - Stary, Christian

AU - Borgert, Stefan

PY - 2021

Y1 - 2021

UR - https://www.scopus.com/pages/publications/85107513571

U2 - 10.1007/978-3-030-76020-5_16

DO - 10.1007/978-3-030-76020-5_16

M3 - Chapter

VL - 12750

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 283

EP - 300

BT - Logic, Computation and Rigorous Methods

A2 - Raschke A., Riccobene E., Schewe KD., null

PB - Springer

CY - Cham

ER -

Elstermann M, Wolski A, Fleischmann A, Stary C, Borgert S. The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. In Raschke A., Riccobene E., Schewe KD., editor, Logic, Computation and Rigorous Methods. Vol. 12750. Cham: Springer. 2021. p. 283-300. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-76020-5_16

The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this