| An Algebraic Specification of a Model Factory, Part II (2007) | |||||||||||||||
Abstract | |||||||||||||||
| A case study about a model factory, investigated at DEC CEC, is reported on. This factory is described and simulated in the specification language PSF. Key Words & Phrases: Specification Language, PSF, ADT (Abstract Data Types), Process Algebra. 1985 Mathematics Subject Classification: 68Q40. 1987 CR Categories: D.1.3, D.2.1, F.1.2. Contents 1 Introduction 2 2 The model factory 2 2.1 Overall behaviour : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2.2 Simplifications : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 2.3 Modelling of the control structure : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 3 Data specification 5 3.1 Primitive data types : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 3.2 Dependent data types : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : ... | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||