501 search results - page 65 / 101 » Diagram Techniques for Confluence |
95
Voted
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
114
Voted
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation langu...
110
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
141
click to vote
APN
2000
Springer
15 years 5 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...