Refinement-Preserving Co-evolution
نویسندگان
چکیده
Software changes during its lifetime. Likewise, specifications change during their design time, e.g. by removing, adding or changing operations. In a refinement-based approach to software design, we moreover do not deal with a single but with a chain of specifications, related via refinement. Changes thus need to be consistently made to all specifications in the chain so as to keep the refinement structure. In this paper, we describe such co-evolutions of specifications in the context of the formal method Object-Z. More specifically, given a particular evolution of a specification we show how to construct a corresponding evolution for its refinements. We furthermore formally prove our co-evolutions to maintain refinement, thus giving rise to a notion of refinement-preserving co-evolution.
منابع مشابه
A Memetic Framework for Cooperative Co-evolutionary Feedforward Neural Networks
Cooperative co-evolution has been a major approach in neuro-evolution. Memetic computing approaches employ local refinement to selected individuals in a population. The use of crossover-based local refinement has gained attention in memetic computing. This work proposes a cooperative co-evolutionary framework that utilises the strength of local refinement from memetic computing. It employs a cr...
متن کاملConfidentiality-Preserving Refinement is Compositional - Sometimes
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specification are preserved by the implementation in a probabilistic setting. The present paper investigates the condition under which that notion of refinement is compositional, i.e. the condition under which refining a subsys...
متن کاملA Compositional Framework for Hardware/Software Co-Design
We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of ...
متن کاملCo-Evolution of Business Action Theories and Languages
We suggest an incremental method for the co-evolution of theories of and modeling languages for business action. It consists of a cycle containing four steps: theory-based derivation of a generic modeling language, engineering of a language that is adapted to a specific modeling situation, the deployment of this language in a concrete analysis and/or design project, and the refinement of the th...
متن کاملSubdivision schemes for shape preserving approximations
We use subdivision schemes with general dilation to efficiently evaluate shape preserving approximations. To fulfill our goal the refinement rules of the schemes are obtained by the refinement masks associated to refinable ripplets, i.e. refinable functions whose integer translates form a variation diminishing basis.
متن کامل