Definition and Induction of a Specification Order Relation between Capabilities

Capability-driven engineering plays a key role in advanced information systems. Service discovery and business process reuse, for instance, are firstly based on the functionalities they achieve. Semantic models based on state shift fail to provide scalable solutions for the discovery and reuse of software artifacts based on their functionalities. In this paper, we are interested in defining and in...