𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the complexity of specification morphisms

✍ Scribed by Serafino Cicerone; Francesco Parisi-Presicce

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
695 KB
Volume
189
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

The existence and the construction of a specification morphism between two algebraic specifications is a crucial step in modular system design and in the reusability of software. The problem of determining the existence of a signature morphism between two algebraic signatures is analyzed and proved to be NP-complete by reducing the well known 3SAT problem. As a consequence, the problem of finding a specification morphism is at least as hard as that of verifying its existence.

πŸ“œ SIMILAR VOLUMES

Coactions on Spaces of Morphisms
Coactions on Spaces of Morphisms
✍ S. DΔƒscΔƒlescu; C. NΔƒstΔƒsescu πŸ“‚ Article πŸ“… 2009 πŸ› Springer Netherlands 🌐 English βš– 233 KB
Complexity Analysis of Molecular Specifi
Complexity Analysis of Molecular Specification and Processing of Scene Animations
✍ SUN, HANQIU πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 722 KB

A scene animation involving a limited environmental boundary, obstacles, other static and dynamic objects, and scene events is more interdependent, variable, and personal than a single object's animation. Traditional path specification does not directly address the special issues in this problem dom

On the cohomology of an algebra morphism
On the cohomology of an algebra morphism
✍ Murray Gerstenhaber; Samuel D Schack πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 987 KB