First Steps Towards an Institution of Algebra Replacement Systems

Author: Große-Rhode M.

Source: Applied Categorical Structures, Volume 6, Number 4, December 1998 , pp. 403-426(24)

Publisher: Springer

Abstract:

Algebra replacement systems are introduced as formal models of state dependent and state transforming systems. The first part of an institution of algebra replacement systems is developed, that is, a model theoretic and logical framework that can be used to describe and reason about such systems. The usual operational understanding of a replacement system as a labeled transition system is then considered as one particular model in the model category. Under appropriate conditions such a constructed replacement system is initial.

Keywords: formal specification; state; dynamic system; replacement system

Language: English

Document Type: Regular paper

Affiliations: 1: Università di Roma La Sapienza, Dip. Scienze dell’Informazione, Via Salaria 113, I-00198 Roma, Italy. e-mail: Email: mgr@cs.tu-berlin.de

Publication date: 1998-12-01

• In this: publication
• By this: publisher
• In this Subject: Mathematics and Statistics
• By this author: Große-Rhode M.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers