JOURNAL ARTICLE
PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models
Keywords:
Computer science Process (computing) Process modeling Model validation Model checking Data modeling Work in process Software engineering Programming language Data science Engineering
Metrics
1
Cited By
0.52
FWCI (Field Weighted Citation Impact)
4
Refs
0.70
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Business Process Modeling and Analysis
Social Sciences → Business, Management and Accounting → Management Information Systems
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Flexible and Reconfigurable Manufacturing Systems
Physical Sciences → Engineering → Industrial and Manufacturing Engineering
Related Documents
JOURNAL ARTICLE
Scenario-Based Model Checking of Declarative Process Models
Nicolai SchützenmeierMartin KäppelMyriel FichtnerStefan Jablonski
Year: 2023 Pages: 406-417
BOOK-CHAPTER
Upper-Bounded Model Checking for Declarative Process Models
Nicolai SchützenmeierMartin KäppelSebastian PetterStefan Jablonski
Lecture notes in business information processing Year: 2021 Pages: 195-211
BOOK-CHAPTER
Transforming Object-Oriented Models to Process-Oriented Models
Guy ReddingMarlon DumasArthur H. M. ter HofstedeAdrian Iordachescu
Lecture notes in computer science Year: 2008 Pages: 132-143
BOOK-CHAPTER
Transforming Process Models to Problem Frames
Stephan FaßbenderBanu Aysolmaz
Lecture notes in business information processing Year: 2016 Pages: 529-542
BOOK-CHAPTER
Model Checking Techniques for Test Generation from Business Process Models
Didier BuchsLucio LeviAng Chen
Lecture notes in computer science Year: 2009 Pages: 59-74