Numerical Productivity Measures
Abstract
A major revision was made to the formal semantic model for real-time concurrency under limited parallelism. The revision was required to simplify the model. The basic elements of the revision dealt with observing processes against the local clocks of processors and relating those observations to the global clock. Several notational simplifications have been brought forth in the formal specifications of the dialog system. The specification notation is made to conform to the latest Z-Language Standard. A part of the work dealing with the Formal Specification of a Look Manager has been published in the special issue on formal methods of the IEEE Transactions on Software Engineering, Sep 1990. Another part dealing with the Invariant Properties in the Dialog System has appeared in the Proceedings of the ACM Workshop on Formal Methods, May 1990. The specification of the design of the complete dialog system is currently going through a second iteration. Meanwhile we spent a lot of effort in implementing a syntax directed incremental specification environment for the Z-notation. The environment interfaces nicely with the X-Window system. Currently type inference systems are being integrated to the incremental editing environment. This work was done in collaboration with the graduate student sanjeev Dharap.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 30, 1990
- Accession Number
- ADA227682
Entities
People
- K. T. Narayana
Organizations
- Pennsylvania State University