Communicating sequential processes
Communicating sequential processes
RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Parallel program design: a foundation
Parallel program design: a foundation
Design by decomposition of multiparty interactions in Raddle87
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Process simulation and refinement
Formal Aspects of Computing
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Fixed points without completeness
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
CSP-OZ: a combination of object-Z and CSP
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Network Topology and a Case Study in TCOZ
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Overview of the Semantics of TCOZ
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Refinement Calculus, Part II: Parallel and Reactive Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Living with Free Type and Class Union
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Specifying Parallel and Distributed Systems in Object-Z
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
The role of secondary attributes in formal object modelling
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study
Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study
Specification of Realtime Systems Using ASTRAL
Specification of Realtime Systems Using ASTRAL
Correctness and communication in real-time systems (tcsp)
Correctness and communication in real-time systems (tcsp)
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
State, event, time and diagram in system modeling
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
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
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
TCOZ approach to semantic web services design
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
HighSpec: a tool for building and checking OZTA models
Proceedings of the 28th international conference on Software engineering
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
Information and Software Technology
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Mechanical Reasoning about Families of UTP Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
The Denotational Semantics of slotted-Circus
FM '09 Proceedings of the 2nd World Congress on Formal Methods
When concurrent control meets functional requirements, or Z + petri-nets
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Slicing concurrent real-time system specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A calculus effectively performing event formation with visualization
ISHPC'05/ALPS'06 Proceedings of the 6th international symposium on high-performance computing and 1st international conference on Advanced low power systems
Modelling flash devices with FDR: progress and limits
Proceedings of the 8th International Conference on Frontiers of Information Technology
Slicing an integrated formal method for verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
SVG web environment for z specification language
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Constructing property-oriented models for verification
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A reasoning method for timed CSP based on constraint solving
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
SeVe: automatic tool for verification of security protocols
Frontiers of Computer Science in China
Mechanical reasoning about families of UTP theories
Science of Computer Programming
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Multi-agent system specification using TCOZ
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Compositional class refinement in object-z
FM'06 Proceedings of the 14th international conference on Formal Methods
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A comparative study of two formal specification languages: Z-notation & B-method
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
Modeling and verifying hierarchical real-time systems using stateful timed CSP
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
This paper describes a timed, multithreaded object modeling notation for specifying real-time, concurrent, and reactive systems. The notation Timed Communicating Object Z (TCOZ) builds on Object Z's strengths in modeling complex data and algorithms, and on Timed CSP's strengths in modeling process control and real-time interactions. TCOZ is novel in that it includes timing primitives, properly separates process control and data/algorithm issues and supports the modeling of true multithreaded concurrency. TCOZ is particularly well-suited for specifying complex systems whose components have their own thread of control. The expressiveness of the notation is demonstrated by a case study in specifying a multilift system that operates in real-time.