Abstract
In our previous work in program development, we have defined steadfastness, a notion of correctness that captures at once modularity, correctness and reusability. This paper extends it to Object-Oriented Systems, namely systems of cooperating objects, and is a first step towards the introduction of correctness in Object-Oriented Design Frameworks. Such frameworks are increasingly recognised as more reusable than single objects, and promise to be useful components in next-generation Component-based Software Development.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and L. Cardelli. A Theory of Objects. MIT Press, 1985.
E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors. Algebraic Foundations of Systems Specifications. Springer, 1999.
R.H. Bourdeau and B. H.C. Cheng. A formal semantics for object model diagrams. IEEE Trans. Soft. Eng., 21(10):799–821, 1995.
J. Cheesman and J. Daniels. UML Components: A Simple Process for Specifying Component-based Software. Addison-Wesley, 2001.
D.F. D’Souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1999.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2. Springer-Verlag, 1989.
G. Larsen. Designing component-based frameworks using patterns in the UML. Comms. ACM, 42(10):38–45, October 1999.
K.-K. Lau and M. Ornaghi. OOD frameworks in component-based software development in computational logic. In P. Flener, editor, Proc. LOPSTR 98, Lecture Notes in Computer Science 1559, pages 101–123. Springer-Verlag, 1999.
K.-K. Lau and M. Ornaghi. Isoinitial semantics for logic programs. In J.W. Lloyd et al, editor, Proceedings of the First Int. Conf. on Computational Logic, Lecture Notes in Artificial Intelligence 1861, pages 223–238. Springer-Verlag, 2000.
K.-K. Lau, M. Ornaghi, and S.-Å. Tärnlund. Steadfast logic programs. J. Logic Programming, 38(3):259–294, March 1999.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.
D. Miller. Forum: A multiple-conclusion specification logic. TCS, 165(1):201–231, 1996.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
J. Warmer and A. Kleppe. The Object Constraint Language. Addison-Wesley, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lau, KK., Ornaghi, M. (2002). Correct Object-Oriented Systems in Computational Logic. In: Pettorossi, A. (eds) Logic Based Program Synthesis and Transformation. LOPSTR 2001. Lecture Notes in Computer Science, vol 2372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45607-4_10
Download citation
DOI: https://doi.org/10.1007/3-540-45607-4_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43915-8
Online ISBN: 978-3-540-45607-0
eBook Packages: Springer Book Archive