SOUL and Smalltalk - Just Married: Evolution of the Interaction between a Logic and an Object-Oriented Language towards Symbiosis (2003)
| Venue: | in: Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages |
| Citations: | 2 - 0 self |
BibTeX
@INPROCEEDINGS{Gybels03souland,
author = {Kris Gybels},
title = {SOUL and Smalltalk - Just Married: Evolution of the Interaction between a Logic and an Object-Oriented Language towards Symbiosis},
booktitle = {in: Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Introduction The Smalltalk Open Unification Language is a Prolog-like language embedded in the object-oriented language Smalltalk [5]. Over the years, it has been used as a research platform for applying logic programming to a variety of problems in object-oriented software engineering, some examples are: representing domain knowledge explicitly [3]; reasoning about object-oriented design [15,14]; checking and enforcing programming patterns [11]; ; checking architectural conformance [16] and making the crosscuts in Aspect-Oriented Programming more robust [6]. These examples fit in the wider research of Declarative Meta Programming, where SOUL is used as a meta language to reason about Smalltalk code. Recently, we explored a di#erent usage of SOUL in connecting business rules and core application functionality [2], which involves reasoning about Smalltalk objects. We found we had to improve on SOUL's existing mechanism for interacting with those objects because it was not transparent:
