Author image not provided
 Hagen Völzer

 homepage
 hvoatzurich.ibm.com

Professional ACM Member badge
  Affiliation history
Bibliometrics: publication history
Average citations per article10.92
Citation Count426
Publication count39
Publication years1996-2018
Available for download2
Average downloads per article361.00
Downloads (cumulative)722
Downloads (12 Months)20
Downloads (6 Weeks)2
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


38 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 38
Result page: 1 2

Sort by:

1
January 2018 IBM Journal of Research and Development: Volume 62 Issue 1, January/February 2018
Publisher: IBM Corp.
Bibliometrics:
Citation Count: 0

In this paper, we present IBM's cognitive strategy for service delivery transformation to a services integration approach for IT service management. This transformation is fueled by three fundamental technological paradigms: cognitive, cloud, and data and digital content. At the foundation of this approach is the IBM Services Platform with Watson—an ...

2
October 2016 Software and Systems Modeling (SoSyM): Volume 15 Issue 4, October 2016
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

Different stakeholders in the business process management (BPM) life cycle benefit from having different views onto a particular process model. Each view can show, and offer to change, the details relevant to the particular stakeholder, leaving out the irrelevant ones. However, introducing different views on a process model entails the ...
Keywords: Business process modeling, Model synchronization, Business---IT gap

3
April 2016 Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9636
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

A workflow graph is a classical flow graph extended by concurrent fork and join. Workflow graphs can be used to represent the main control-flow of e.g. business process models modeled in languages such as BPMN or UML activity diagrams. They can also be seen as compact representations of free-choice Petri ...

4
March 2016 Information Systems: Volume 56 Issue C, March 2016
Publisher: Elsevier Science Ltd.
Bibliometrics:
Citation Count: 0


5
January 2015 Information Systems: Volume 47 Issue C, January 2015
Publisher: Elsevier Science Ltd.
Bibliometrics:
Citation Count: 2

Workflow graphs represent the main control-flow constructs of industrial process modeling languages such as BPMN, EPC and UML activity diagrams, whereas free-choice workflow nets are a well understood class of Petri nets that possesses many efficient analysis techniques. In this paper, we provide new results on the translation between workflow ...
Keywords: Free choice, Inclusive Or-join, Petri nets, Workflow graphs

6
July 2014 Software and Systems Modeling (SoSyM): Volume 13 Issue 3, July 2014
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 2

Organizations that adopt process modeling often maintain several co-existing models of the same business process. These models target different abstraction levels and stakeholder perspectives. Maintaining consistency among these models has become a major challenge for such organizations. Although several academic works have discussed this challenge, little empirical investigation exists on ...
Keywords: Business processes, Consistency management, Empirical study, Process refinement patterns

7
July 2013 ECMFA'13: Proceedings of the 9th European conference on Modelling Foundations and Applications
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 1

Different stakeholders in the Business Process Management (BPM) life cycle benefit from having different views onto a particular process model. Each view can show, and offer to change, the details relevant to the particular stakeholder, leaving out the irrelevant ones. However, introducing different views on a process model entails the ...

8
September 2012 MODELS'12: Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 12

In Business Process Modeling, several models are defined for the same system, supporting the transition from business requirements to IT implementations. Each of these models targets a different abstraction level and stakeholder perspective. In order to maintain consistency among these models, which has become a major challenge not only in ...
Keywords: change extraction, BPMN matching, consistency management

9
September 2012 BPM'12: Proceedings of the 10th international conference on Business Process Management
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

Some popular modeling languages for business processes, e.g., BPMN, contain inclusive OR-joins ( IOR-joins ), but others, e.g., Petri nets, do not. Various scenarios in Business Process Management require, or benefit from, translating a process model from one language to another. This paper studies whether the control flow of a ...

10 published by ACM
June 2012 Journal of the ACM (JACM): Volume 59 Issue 3, June 2012
Publisher: ACM
Bibliometrics:
Citation Count: 6
Downloads (6 Weeks): 1,   Downloads (12 Months): 15,   Downloads (Overall): 508

Full text available: PDFPDF
We define when a linear-time temporal property is a fairness property with respect to a given system. This captures the essence shared by most fairness assumptions that are used in the specification and verification of reactive and concurrent systems, such as weak fairness, strong fairness, k -fairness, and many others. ...
Keywords: Fairness, concurrent systems, game theory, machine closure, model checking, temporal logic, temporal properties, topology

11
September 2011 Information and Software Technology: Volume 53 Issue 9, September, 2011
Publisher: Butterworth-Heinemann
Bibliometrics:
Citation Count: 13

Context: In order to ensure high quality of a process model repository, refactoring operations can be applied to correct anti-patterns, such as overlap of process models, inconsistent labeling of activities and overly complex models. However, if a process model collection is created and maintained by different people over a longer ...
Keywords: Refactoring, Business Process Model, Repository

12
May 2011 Data & Knowledge Engineering: Volume 70 Issue 5, May, 2011
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 25

We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, ...
Keywords: Business Process Modeling, Quality assurance, Verification, Control-flow analysis, Soundness

13
September 2010 WS-FM'10: Proceedings of the 7th international conference on Web services and formal methods
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 25

A business process is often modeled using some kind of a directed flow graph, which we call a workflow graph. The Refined Process Structure Tree (RPST) is a technique for workflow graph parsing, i.e., for discovering the structure of a workflow graph, which has various applications. In this paper, we ...

14
September 2010 BPM'10: Proceedings of the 8th international conference on Business process management
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 2

We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workflow graphs that may contain inclusive OR gateways and define a symbolic execution for them that runs in quadratic time. The result allows us ...

15
September 2010 BPM'10: Proceedings of the 8th international conference on Business process management
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 3

We propose a new semantics for the inclusive converging gateway (also known as Or-join). The new semantics coincides with the intuitive, widely agreed semantics for Or-joins on sound acyclic workflow graphs which is implied, for example, by dead path elimination on BPEL flows. The new semantics also coincides with the ...

16
September 2009 BPM 2009: Proceedings of the 7th International Conference on Business Process Management - Volume 5701
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and other domains. We investigated these models for soundness absence of deadlock and lack of synchronization using three different approaches: the business process verification tool Woflan, ...

17
September 2009 CONCUR 2009: Proceedings of the 20th International Conference on Concurrency Theory
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 6

We propose a way of presenting and computing a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present a counterexample as a pair (<em>***</em> ,<em>***</em> ), where <em>***</em> ,<em>***</em> are finite words such that all paths that extend <em>***</em> and have infinitely ...

18
September 2009 Data & Knowledge Engineering: Volume 68 Issue 9, September, 2009
Publisher: Elsevier Science Publishers B. V.
Bibliometrics:
Citation Count: 56

We consider a workflow graph as a model for the control flow of a business process and study the problem of workflow graph parsing, i.e., finding the structure of a workflow graph. More precisely, we want to find a decomposition of a workflow graph into a hierarchy of sub-workflows that ...
Keywords: Model decomposition, Workflow graph parsing, Workflow management, Graph theory, Subprocess detection

19
December 2008 ICSOC '08: Proceedings of the 6th International Conference on Service-Oriented Computing
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 22

Workflow graphs are used to model the control flow of business processes in various languages, e.g., BPMN, EPCs and UML activity diagrams. We present techniques for automatic workflow graph refactoring and completion. These techniques enable various use cases in modeling and runtime optimization. For example they allow us to complete ...

20
October 2008 Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 4

Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usually modeled by combining graphical and textual notations. During business-driven development, business process models are taken to the IT level, where they are implemented in a Service-Oriented Architecture. ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us