On Differencing Object-Oriented Formal Specifications

By: Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah


A differencing approach for OO formal specifications is proposed in this paper. It comprises two parts: the first part consists of comparing specifications to identify their matching elements. The second part uses the matching results to produce deltas differentiating them. These deltas are formally modeled as a set of primitive operation with traceability information allowing the reversal of their effect. The differencing approach is empirically validated.

Cite as:

Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah, “On Differencing Object-Oriented Formal Specifications”, Journal of Object Technology, Volume 9, no. 1 (January 2010), pp. 183-198, doi:10.5381/jot.2010.9.1.a5.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn