Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
G-LOTOS: a graphical language for concurrent systems
Computer Networks and ISDN Systems
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Why looking isn't always seeing: readership skills and graphical programming
Communications of the ACM
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Metamodelling and Conformance Checking with PVS
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Analyzing Java Software by Combining Metrics and Program Visualization
CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
Analysis of the four-slot mechanism
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
| Hi-index | 0.00 |
Agraphical notation for representingTimedCSP(TCSP) specifications is presented. The notation, which integrates features from a number of existing specification languages, including Statecharts, is aimed at providing the means for more easily constructing and managing large TCSP specifications, with the intention of forming the basis for tools and a methodology for applying TCSP in the large. The graphical notation extends TCSP by allowing specifications to be both processes and arbitrary predicates, thus increasing the expressiveness and applicability of the notation. An extendible tool framework, designed for the graphical notation and to be integrated with other tools, is outlined. We discuss the features of this framework, especially how it aims to support reasoning about TCSP specifications.