Title | ||
---|---|---|
An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi |
Abstract | ||
---|---|---|
The complexity of designing concurrent and highly-evolving interactive systems has grown to a point where system verification has become a hurdle. Fortunately, formal verification methods have arrived at the right time. They detect errors, inconsistencies and incompleteness at early development stages of a system formally modeled using a formal specification language. -calculus Milner, 1999 is one such formal language which provides strong mathematical base that can be used for verifying system specifications. But manually verifying the specifications of concurrent systems is a very tedious and error-prone work, especially if the specifications are large. Consequently, an automated verification tool would be essential for efficient system design and development. In addition, formal verification tools are vital ingredient to fully harness the potential of component-based software composition. The authors developed such an automated verification tool which is highly portable and seamlessly integrates with the visualization, reduction and performance evaluation tools introduced Ahmad & Rahimi, 2008; Rahimi, 2006; Rahimi et al., 2001, 2008 to provide a comprehensive tool for designing and analyzing multi process/agent systems. Open-Bisimulation Sangiorgi, 1996 concept is utilized as the theoretical base for the design and implementation of the tool which incorporates an expert system implemented in Java Expert System Shell JESS Friedman-Hill, 2003. |
Year | DOI | Venue |
---|---|---|
2012 | 10.4018/jssci.2012010103 | IJSSCI |
Keywords | DocType | Volume |
expert system,Automated Verification Tool,efficient system design,concurrent system,formal verification tool,Calculus Family,automated verification tool,interactive system,formal verification method,system verification,Process Calculi,verifying system specification,agent system | Journal | 4 |
Issue | Citations | PageRank |
1 | 1 | 0.36 |
References | Authors | |
10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shahram Rahimi | 1 | 172 | 40.74 |
Rishath A. S. Rias | 2 | 1 | 0.36 |
Elham S. Khorasani | 3 | 10 | 2.22 |