JOURNAL ARTICLE
Scenario-Based Model Checking of Declarative Process Models
Keywords:
Computer science Process (computing) Model checking Programming language Process modeling Software engineering Work in process Engineering
Metrics
2
Cited By
0.88
FWCI (Field Weighted Citation Impact)
0
Refs
0.73
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
Service-Oriented Architecture and Web Services
Physical Sciences → Computer Science → Information Systems
Model-Driven Software Engineering Techniques
Physical Sciences → Computer Science → Software
Related Documents
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
Probabilistic Conformance Checking Based on Declarative Process Models
Fabrizio Maria MaggiMarco MontaliRafael Peñaloza
Lecture notes in business information processing Year: 2020 Pages: 86-99
JOURNAL ARTICLE
Conformance checking based on multi-perspective declarative process models
Andrea BurattinFabrizio Maria MaggiAlessandro Sperduti
Journal: Expert Systems with Applications Year: 2016 Vol: 65 Pages: 194-211
JOURNAL ARTICLE
Symbolic model checking of declarative relational models
Felix Sheng-Ho ChangDaniel Jackson
Year: 2006 Pages: 312-320
BOOK-CHAPTER
Data-Aware Conformance Checking for Declarative Business Process Models
Diana BorregoIrene BarbaPedro J. Abad
Year: 2014 Pages: 269-282