Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Bayesian Networks and Decision Graphs
Bayesian Networks and Decision Graphs
Communication and Concurrency
The New Science of Management Decision
The New Science of Management Decision
Parameter Estimation in Stochastic Logic Programs
Machine Learning
Chance discoveries for making decisions in complex real world
New Generation Computing
Learning Probabilistic Relational Models
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
WS-Net: A Petri-net Based Specification Model for Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
A CP-nets-based Design and Verification Framework for Web Services Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Machine Learning
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Compiling Comp Ling: practical weighted dynamic programming and the Dyna language
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Learning probabilities for noisy first-order rules
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
BLOG: probabilistic models with unknown objects
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Verification of computation orchestration via timed automata
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Automatic translation of WS-CDL choreographies to timed automata
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Specifying and Verifying Business Processes Using PPML
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Developer-friendly verification of process-based systems
Knowledge-Based Systems
Designing quality business processes for E-government digital services
EGOV'10 Proceedings of the 9th IFIP WG 8.5 international conference on Electronic government
Comparison of model checking tools for information systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Verification tool of software requirement for network software
ICICA'11 Proceedings of the Second international conference on Information Computing and Applications
Specifying and verifying declarative fluent temporal logic properties of workflows
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Automated runtime repair of business processes
Information Systems
| Hi-index | 0.00 |
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.