Semantic Verification of Business Process Models: Prospects and LimitationsMichael Fellmann (University of Osnabrueck, Germany), Oliver Thomas (University of Osnabrueck, Germany) and Frank Hogrebe (University of Hamburg, Germany)
Copyright © 2012. 19 pages.
OnDemand Chapter PDF Download
Download link will be e-mailed upon order completion.
| $30.00 | Add to Cart |
DOI: 10.4018/978-1-60960-126-3.ch008, ISBN13: 9781609601263, ISBN10: 1609601262, EISBN13: 9781609601287 Sample PDFCite Chapter
MLA
Fellmann, Michael, Oliver Thomas and Frank Hogrebe. "Semantic Verification of Business Process Models: Prospects and Limitations." Semantic Technologies for Business and Information Systems Engineering: Concepts and Applications. IGI Global, 2012. 150-168. Web. 23 May. 2012. doi:10.4018/978-1-60960-126-3.ch008
APA
Fellmann, M., Thomas, O., & Hogrebe, F. (2012). Semantic Verification of Business Process Models: Prospects and Limitations. In S. Smolnik, F. Teuteberg, & O. Thomas (Eds.), Semantic Technologies for Business and Information Systems Engineering: Concepts and Applications (pp. 150-168). Hershey, PA: Business Science Reference. doi:10.4018/978-1-60960-126-3.ch008
Chicago
Fellmann, Michael, Oliver Thomas and Frank Hogrebe. "Semantic Verification of Business Process Models: Prospects and Limitations." In Semantic Technologies for Business and Information Systems Engineering: Concepts and Applications, ed. Stefan Smolnik, Frank Teuteberg and Oliver Thomas, 150-168 (2012), accessed May 23, 2012. doi:10.4018/978-1-60960-126-3.ch008
Export Reference
 | | TopAbstractThis chapter presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. Despite the widespread use of these models in research and practice, innovative solutions are needed in order to address the verification of process model information. But what are the prospects and limitations of semantic verification? In order to investigate this issue we suggest an ontology-driven approach consisting of two steps. The first step is the development of a model for ontology-based representation of process models. In the second step, we use this model to support the semantic verification based on this representation and on machine reasoning. We apply our approach using real-life administrative process models taken from a capital city. TopComplete Chapter List|
1.
| Ontologies and Controlled Vocabulary: Comparison of Building Methodologies
(pages 1-15)
Daniela Lucas da Silva (Universidade Federal do Espírito Santo, Brazil), Renato Rocha Souza (Fundação Getúlio Vargas, Brazil), Maurício Barcellos Almeida (Universidade Federal de Minas Gerais, Brazil)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
2.
| An Ontology-Based Method to Construct a Reference Model Catalogue for the Energy Sector
(pages 16-39)
José M. González (OFFIS – Institute for Information Technology, Germany), Mathias Uslar (OFFIS – Institute for Information Technology, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
3.
| Ontological Evaluation of Scheer’s Reference Model for Production Planning and Control Systems
(pages 40-58)
Peter Fettke (German Research Center for Artificial Intelligence, Germany), Peter Loos (German Research Center for Artificial Intelligence, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
4.
| Heterogeneous Text and Numerical Data Mining with Possible Applications in Business and Financial Sectors
(pages 60-80)
Farid Bourennani (University of Ontario Institute of Technology, Canada), Shahryar Rahnamayan (University of Ontario Institute of Technology, Canada)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
5.
| Semantic Integration of Structured and Unstructured Data in Data Warehousing and Knowledge Management Systems
(pages 81-105)
|
$30.00
Add to Cart |
|
6.
| Enhancing the Personal Knowledge Management with Semantic Desktop Technologies: SCAN approach
(pages 106-123)
Alexey V. Alishevskikh (ViceVersa Technologies, Russian Federation), Tatiana V. Emshanova (ViceVersa Technologies, Russian Federation)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
7.
| Supporting Conceptual Model Analysis Using Semantic Standardization and Structural Pattern Matching
(pages 125-149)
Patrick Delfmann (University of Münster, Germany), Sebastian Herwig (University of Münster, Germany), Lukasz Lis (University of Münster, Germany), Jörg Becker (University of Münster, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
8.
| Semantic Verification of Business Process Models: Prospects and Limitations
(pages 150-168)
Michael Fellmann (University of Osnabrueck, Germany), Oliver Thomas (University of Osnabrueck, Germany), Frank Hogrebe (University of Hamburg, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
9.
| Automated Planning of Process Models: Towards a Semantic-Based Approach
(pages 169-194)
Bernd Heinrich (University of Innsbruck, Austria), Mathias Klier (University of Innsbruck, Austria), Steffen Zimmermann (University of Innsbruck, Austria)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
10.
| Stepwise Semantic Enrichment in Health-Related Public Management by Using Semantic Information Models
(pages 195-212)
Hans-Georg Fill (University of Vienna, Austria & Stanford University, USA), Ilona Reischl (AGES PharmMed, Austria)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
11.
| EPCs Annotated with Lexical and Semantic Labels to Bridge the Gap between Human Understandability and Machine Interpretability
(pages 214-241)
Andreas Bögl (Johannes Kepler University Linz, Austria), Michael Karlinger (Johannes Kepler University Linz, Austria), Michael Schrefl (Johannes Kepler University Linz, Austria), Gustav Pomberger (Johannes Kepler University Linz, Austria)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
12.
| Semantic Annotation of Business Process Templates
(pages 242-258)
Yun Lin (Agresso, Norway), Darijus Strasunskas (Norwegian University of Science and Technology, Norway)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
13.
| Semantically Enhanced Business Process Modeling Notation
(pages 259-275)
Witold Abramowicz (Poznan University of Economics, Poland), Agata Filipowska (Poznan University of Economics, Poland), Monika Kaczmarek (Poznan University of Economics, Poland), Tomasz Kaczmarek (Poznan University of Economics, Poland)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
14.
| Functional Components Specification in the Semantic SOA-Based Model
(pages 277-291)
Tariq Mahmoud (Carl von Ossietzky University of Oldenburg, Germany), Jorge Marx Gómez (Carl von Ossietzky University of Oldenburg, Germany), Timo von der Dovenmühle (Carl von Ossietzky University of Oldenburg, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
15.
| Semantic-Enabled Compliance Management
(pages 292-310)
Rainer Telesko (Fachhochschule Nordwestschweiz, Switzerland), Simon Nikles (Fachhochschule Nordwestschweiz, Switzerland)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
16.
| Semantic Policies for Modeling Regulatory Process Compliance
(pages 311-336)
Marwane El Kharbili (University of Luxemburg, Luxemburg), Elke Pulvermueller (University of Osnabrueck, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
17.
| A Broader View on Context Models towards Supporting Business Process Agility
(pages 337-358)
Barbara Thönssen (University of Applied Sciences Northwestern Switzerland, Switzerland), Daniela Wolff (University of Applied Sciences Northwestern Switzerland, Switzerland)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
| |