IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Mon, 24 Apr 2017 07:30:06

Peng, Z. (1987). Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. Technical Report LiTH-IDA-R-87-19, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 10th World Computer Congress, Dublin, Ireland, Sept. 1-5, 1986. (bibtex),

Abstract: This paper describes a systematic method to construct asynchronous concurrent systems from their high level behavioral specifications. A high level behavioral specification specifies what a system should be able to do without prescribing the physical structure of the implementation. This specification is first mapped into an intermediate design representation which consists of separate but related models of control and data part. The intermediate representation is then analyzed, transformed, and finally partitioned into a set of processing modules whose actions are coordinated to implement the specified behaviors of the designed system.

Goto (at Linköping University): CS Dept TR Overview