Verification of Invariant Properties of Business Process Based on Formal Approach

doi 10.1109/wicom.2007.1482
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Formal Verification of System-Level Safety Properties on Railway Software

2016English

The MODUS Approach to Formal Verification

Business Systems Research
Information SystemsFinanceEconomicsManagement Information SystemsInnovationManagement of TechnologyEconometrics
2014English

Ontology-Based Approach to Reuse of Business Process Knowledge

Informacijos Mokslai
Media TechnologySociologyInternational RelationsCommunicationPolitical ScienceInnovationManagement of Technology
2008English

Overview of Verification Tools for Business Process Models

2017English

A Formal Approach for the Inclusion of Key Performance Indicators in a Business Process Modeling

International Journal of Computer Applications
2011English

Formal Analysis and Verification of Airborne Software Based on DO-333

Electronics (Switzerland)
ControlElectronic EngineeringSignal ProcessingComputer NetworksSystems EngineeringHardwareCommunicationsElectricalArchitecture
2020English

Formal Modeling of a Generic Middleware to Ensure Invariant Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

BProVe: Tool Support for Business Process Verification

2017English

A Comparative Assessment of Collaborative Business Process Verification Approaches

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy