Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

136

FMCO
2003
Springer

102views Formal Methods» more FMCO 2003»

Preserving Properties Under Change

15 years 10 months ago

Preserving Properties Under Change

Download www.cs.uni-paderborn.de

In this paper we discuss the question which properties of a formally veriﬁed component are preserved when the component is changed due to an adaption to a new use. More speciﬁcally, we will investigate when a temporal logic property of an Object-Z class is preserved under a modiﬁcation or extension of the class with new features. To this end, we use the slicing technique from program analysis which provides us with a representation of the dependencies within the class in the form of a program dependence graph. This graph can be used to determine the eﬀect of a change to the class’ behaviour and thus to the holding of a temporal logic formula.

Heike Wehrheim

Real-time Traffic

FMCO 2003 | Object-Z Class | Temporal Logic | Temporal Logic Property |

claim paper

Related Content

» Database querying under changing preferences

» Preserving mapping consistency under schema changes

» Preservation Under Extensions on WellBehaved Finite Structures

» Minimal Change and Maximal Coherence for Epistemic Logic Program Updates

» On graph equivalences preserved under extensions

» Preserving coordination properties when transforming concurrent system components

» On changing cofinality of partially ordered sets

» Active Contours Under Topology Control Genus Preserving Level Sets

» Integrating Formal Analysis and Design to Preserve Security Properties

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	FMCO
Authors	Heike Wehrheim

Comments (0)