International Conference on Computer Aided Systems Theory

EUROCAST 1995: Computer Aided Systems Theory — EUROCAST '95 pp 103-116

Refinement mapping for general (discrete event) systems theory

  • P. Blauth Menezes
  • J. Félix Costa
  • A. Sernadas
Conference paper

DOI: 10.1007/BFb0034753

Volume 1030 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Menezes P.B., Costa J.F., Sernadas A. (1996) Refinement mapping for general (discrete event) systems theory. In: Pichler F., Díaz R.M., Albrecht R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg

Abstract

A categorial semantic domain for general (discrete event) systems based on labeled transition systems with full concurrency is constructed, where synchronization and hiding are functorial. Moreover, we claim that, within the proposed framework, a class of mappings stands for refinement. Then we prove that refinement satisfies the diagonal compositionality requirement, i.e., refinements compose (vertical) and distribute over system composition (horizontal).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • P. Blauth Menezes
    • 1
  • J. Félix Costa
    • 2
  • A. Sernadas
    • 1
  1. 1.Departamento de MatemáticaInstituto Superior TécnicoLisboa CodexPortugal
  2. 2.Departamento de Informática, Faculdade de CiÊnciasUniversidade de LisboaLisboaPortugal