Show simple item record

dc.contributor.authorBerzins, Vladis
dc.contributor.authorLuqi
dc.contributor.authorMusial, Peter M.
dc.date.accessioned2015-08-17T22:49:36Z
dc.date.available2015-08-17T22:49:36Z
dc.date.issued2010
dc.identifier.urihttp://hdl.handle.net/10945/46071
dc.description.abstractIn 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 verificationmechanismbased 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 fromone 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 towhat 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 formof 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.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United Statesen_US
dc.titleFormal Reasoning about Software Object Translationsen_US
dc.typeArticleen_US
dc.contributor.departmentComputer Science (CS)
dc.description.funderThis work is sponsored through AOR grant for development of the DDD framework. In addition P.M. Musial is funded through the NRC Postdoctoral Fellowship.en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record