2001 | OriginalPaper | Buchkapitel
Access Control System
verfasst von : Manfred Broy, Ketil Stølen
Erschienen in: Specification and Development of Interactive Systems
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Chapter 8 introduced the equational specification style in an example-driven manner. The examples ofChapter 8 have been chosen to explain the basic principles of the equational style. They are therefore all tiny and a bit artificial. In this chapter, we apply the equational style to model an access control system (ACS). Thereby we demonstrate the suitability of the equational style in a more realistic context. A specification of the ACS first appeared in [BH93], from which we have adapted the following informal specification.