Abstract
We argue that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, we introduce a module concept with formal interfaces, and give semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. We discuss how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.
Original language | English |
---|---|
Title of host publication | Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering |
Publisher | IEEE |
Pages | 87-93 |
Number of pages | 7 |
ISBN (Print) | 0818628308 |
DOIs | |
Publication status | Published - 1 Dec 1992 |
Externally published | Yes |
Event | Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering - Capri, Italy Duration: 15 Jun 1992 → 20 Jun 1992 Conference number: 4 |
Conference
Conference | Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering |
---|---|
Country/Territory | Italy |
City | Capri |
Period | 15/06/92 → 20/06/92 |