Property specification, process verification, and reporting - A case study with vehicle-commissioning processes

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Information Systems

• Publication date

  2016-03-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/j.is.2015.09.005
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A new verification technique for large processes based on identification of relevant tasks

  2015cited by this paper
• Automatic Generation of Optimized Process Models from Declarative Specifications

  2015cited by this paper
• User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes

  2014cited by this paper
• Detecting Data-Flow Errors in BPMN 2.0

  2014cited by this paper
• Where did I go wrong? - Explaining Errors in Business Process Models

  2014cited by this paper
• Discovering Block-Structured Process Models from Event Logs - A Constructive Approach

  2013cited by this paper
• Diagnostic Information for Compliance Checking of Temporal Compliance Requirements

  2013cited by this paper
• A Compliance Management Ontology: Developing Shared Understanding through Models

  2012cited by this paper
• Activity-Oriented Clustering Techniques in Large Process and Compliance Rule Repositories

  2011cited by this paper
• On Enabling Data-Aware Compliance Checking of Business Process Models

  2010cited by this paper
• Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance

  2010cited by this paper
• Declarative specification and verification of service choreographiess

  2010cited by this paper
• SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems

  2010cited by this paper
• Petri Net Transformations for Business Processes - A Survey

  2009cited by this paper
• Model checking

  2009cited by this paper
• Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows

  2009cited by this paper
• Instantaneous Soundness Checking of Industrial Business Process Models

  2009cited by this paper
• Empirical Studies in Process Model Verification

  2009cited by this paper
• Efficient Compliance Checking Using BPMN-Q and Temporal Logic

  2008cited by this paper
• Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

  2007cited by this paper
• Formal semantics and analysis of control flow in WS-BPEL

  2007cited by this paper
• A static compliance-checking framework for business process models

  2007cited by this paper
• Understanding Context-Awareness in Business Process Design

  2006cited by this paper
• YAWL: yet another workflow language

  2005cited by this paper
• Modeling and Model Checking Web Services

  2005cited by this paper
• The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae

  2005cited by this paper
• Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype

  2005cited by this paper
• Transforming BPEL to Petri Nets

  2005cited by this paper
• Workflow Patterns

  2003cited by this paper
• Principles of constraint programming

  2003cited by this paper
• PROPEL: an approach supporting property elucidation

  2002cited by this paper
• PRISM: Probabilistic Symbolic Model Checker

  2002cited by this paper
• Workflow Management Models , Methods , and Systems

  2002cited by this paper
• Stubborn Sets for Model Checking the EF/AG Fragment of CTL

  2000cited by this paper
• LoLA: a low level analyser

  2000influential reference
• Stubborn Sets for Standard Properties

  1999cited by this paper
• Property specification patterns for finite-state verification

  1998cited by this paper
• The Application of Petri Nets to Workflow Management

  1998cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Model Checking and the Mu-calculus

  1996cited by this paper
• Where did I go wrong?

  1994cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• Checking that finite state concurrent programs satisfy their linear specification

  1985cited by this paper
• International Journal of Human-Computer Interaction

  year unknowncited by this paper
• methods, tools

  year unknowncited by this paper

• Petri Net Model Checking with LoLA 2

  2018cites this paper
• Safe design of the Autonomous Driving control function

  2017cites this paper