Paper Info
Title
A Survey of Formal Verification for Business Process Modeling
Abstract
Information systems have to respond well to the changing business environment. Thus, they must have architecture which withstands the change. To design such systems, business process modeling is effective, however, the models include often abstractness and arbitrariness. Therefore, there have been efforts that validate rigorousness of the models. They have defined semantics of the models and applied various logics and formal methods to verification of the rigorousness. This paper focuses on formal verification of the models and surveys the efforts. We also discuss the prospect of the solutions. The establishment of the verification will be surely helpful toward solving the problems on business process reengineering, business process management, service-oriented architecture, and so on.
Year
DOI
Venue
2008
10.1007/978-3-540-69387-1_58
ICCS (2)
Keywords
Field
DocType
formal method,information system,validate rigorousness,business process management,business process modeling,business environment,various logic,business process reengineering,service-oriented architecture,formal verification,service oriented architecture,enterprise information system,business process model,model checking,common knowledge,activity diagram,business process,petri net,web service
Artifact-centric business process model,Business process management,Software engineering,Business process,Computer science,Process modeling,Business process modeling,Business Process Model and Notation,Business rule,Business architecture,Process management,Distributed computing
Conference
Volume
ISSN
Citations 
5102
0302-9743
30
PageRank 
References 
Authors
1.17
28
1
Name
Order
Citations
PageRank
Shoichi Morimoto1719.00