Applying Model Checking to Workflow Verification

Authors:
Affiliations:
Venue:
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
Year:
2004

Citing 0
Cited 2

Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study

BPM '08 Proceedings of the 6th International Conference on Business Process Management
Formal analysis of executions of organizational scenarios based on process-oriented specifications

Applied Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

ECSAM is a requirements engineering and modelingmethod for computer-based systems (CBS). It ispracticed and enhanced since 1980 by large numbers ofsystems and software engineers. ECSAM was developedin part at Israel Aircraft Industries for the analysis ...