- Record: found
- Abstract: found
- Conference Proceedings: found
A Model for Dynamic State-based Systems
proceedings-article
September 1996
Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)
Northern Formal Methods
23-24 September 1996
Abstract
Objects can be the structuring mechanism, i.e. the main building blocks of a system. In this paper a computation model formalising the notion of an object is presented which can be used for defining state-based systems. It can be used for both describing semantics of programming languages and defining semantics for a specification logic. A general, formalised and extendible notion of a model for state-based systems is the basic prerequisite for any attempt towards formal language engineering, i.e. for defining and integrating languages in a formal way. Functional aspects are integrated in the presented model. It will be shown that a transition system emerges from the given definition of an object as an entity with state, which may be modified by procedures. Therefore, concurrency can also be dealt with in this approach.
Content
Author and article information
Conference
September
1996
September
1996
: 1-16
Affiliations
Article
10.14236/ewic/FA1996.15
388aec23-f1b8-49af-9402-e7f0169891d3
© Claus Pahl. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS
Northern Formal Methods Workshop, Ilkley, UK
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
Proceedings of the BCS-FACS Northern Formal Methods Workshop
NFM
Ilkley, UK
23-24 September 1996
Electronic Workshops in Computing (eWiC)
Northern Formal Methods
Product
Product Information: 1477-9358BCS Learning & Development
Self URI (article page):
https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.15
Self URI (journal page):
https://ewic.bcs.org/
Categories
Electronic Workshops in Computing