Abstract
In previous work, we have introduced a model-theoretic semantics for compositional units, i.e. reusable units that can be used for compositional program development. Such units contain open (logic) programs and our model-theoretic semantics characterizes their correctness and the correctness of their composition. However, for real-world software development, compositional units should be inter-operable, i.e. they should accept programs in different languages. To cater for this, our model-theoretic semantics needs to be used in conjunction with suitable semantics for behaviours and interfaces. In this paper we describe one possible approach based on constructive specifications.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bossi, A., Gabbrielli, M., Levi, G., Meo, M.C.: A compositional semantics for logic programs. Theoretical Computer Science 122, 3–47 (1994)
Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Logic Programming 19-20, 443–502 (1994); Special issue: Ten years of logic programming
de Alfaro, L., Henzinger, T.: Interface Theories for Component-based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001)
Debray, S.K.: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems 11(3), 418–450 (1989)
Deville, Y.: Logic Programming. Systematic Program Development. Addison-Wesley, Reading (1990)
D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2. Springer, Heidelberg (1989)
Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Springer, Heidelberg (1993)
Hodas, J., Miller, D.: Logic Programming in a Fragment of Intuitionistic Linear Logic. Information and Computation 110(2), 327–365 (1994)
Lau, K.-K., Ornaghi, M.: Specifying Compositional Units for Correct Program Development in Computational Logic. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol. 3049, pp. 1–29. Springer, Heidelberg (2004)
Lau, K.-K., Ornaghi, M., Tärnlund, S.-Å.: Steadfast logic programs. J. Logic Programming 38(3), 259–294 (1999)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Miglioli, P., Ornaghi, M.: A logically justified model of computation I, II. Fundamenta Informaticae 4(1), 151–172, 4(2), 277–342 (1981)
Miglioli, P., Moscato, U., Ornaghi, M.: Constructive theories with abstract data types for program synthesis. In: Skordev, D.G. (ed.) Mathematical Logic and its Applications, pp. 293–302. Plenum Press (1987)
Miglioli, P., Moscato, U., Ornaghi, M., Usberti, G.: A Constructivism based on classical truth. Notre Dame Journal of Formal Logic 30(1), 67–90 (1989)
Miller, D.: A logical analysis of modules in logic programming. JLP 6(1-2), 79–108 (1989)
Szyperski, C., Gruntz, D., Murer, S.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lau, KK., Momigliano, A., Ornaghi, M. (2005). Constructive Specifications for Compositional Units. In: Etalle, S. (eds) Logic Based Program Synthesis and Transformation. LOPSTR 2004. Lecture Notes in Computer Science, vol 3573. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506676_13
Download citation
DOI: https://doi.org/10.1007/11506676_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26655-6
Online ISBN: 978-3-540-31683-1
eBook Packages: Computer ScienceComputer Science (R0)