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
© 2026 ScienceGate Book Chapters — All rights reserved.