Prototyping object oriented specifications in an algebraic environment
Prototyping object oriented specifications in an algebraic environment
This paper presents an algebraic environment aimed to achieve operational prototypes [3] from an object-oriented description of the Universe of Discourse (UoD). Based on the OASIS object-oriented specification language [15] and the works initiated in [16], two algebraic specifications are provided: the first formalizes the OASIS language; the second is a formalization of the lives of the objects in the UoD. From an OASIS description of the conceptual scheme, the object-oriented algebraic prototyper (OOAP) automatically generates a validated ground term of the term algebra of the OASIS specification. After a consistency analysis OOAP generates an OBJ3 prototype for that specification which is internally executed as a rewriting system. It is then ready to be used by developers and users in order to validate and verify functional requirements of the information system. An implementation of the OOAP has been carried out using the functional language OBJ3.
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).2 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!