The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes

DOI10.1007/978-3-030-76020-5_16MaRDI QIDQ2117607zbMATH OpenOpenAlexFDO

Authors Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert

Publication date 22 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-76020-5_16

zbMATH Keywords

PASSASMOWLformal standardsS-BPMsubject-orientation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Abstract State Machines

Describes a project that uses

Uses Software

• GitHub
• CoreASM

This page was built for publication: The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117607)