POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communications of the ACM
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
RISC-CLP (real): logic programming with non-linear constraints over the reals
Constraint logic programming
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Distributed Algorithms
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming
Documentation Driven Development for Complex Real-Time Systems
IEEE Transactions on Software Engineering
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Decoupling web application concerns through weaving operations
Science of Computer Programming
| Hi-index | 0.00 |
In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.