| | |
Summary: Integrated Design and Process Technology, IDPT-2002
Printed in the United States of America, June, 2002
c2002 Society for Desing and Process Science
On Specification Carrying Software,
its Refinement and Composition
Matthias Anlauff and Dusko Pavlovic
Kestrel Institute, Palo Alto
ma,dusko @kestrel.edu
ABSTRACT:
In this paper, we present the framework of evolving spec-
ifications (especs), implementing, in the categorical setting
of algebraic specifications, a logical view of state, known
from Hoare logic to abstract state machines (evolving al-
gebras). The categorical support for both top-down and
bottom-up development is thus extended from the refine-
ment and composition of the structure of programs, to the
refinement and composition of their behaviors.
While they were originally defined as specifications car-
rying state machines, especs can also be viewed from an-
other angle, as software components carrying their specifi-
|
