Patent ID: 8479255

Claim:
A non-transitory memory medium storing a registry for a service oriented architecture (SOA) comprising a plurality of processing objects, wherein the plurality of processing objects comprise a plurality of SOA objects, the registry including: Web Services Description Language (WSDL) descriptions of the plurality of SOA objects; a plurality of non-formalized operation requirements for the plurality of SOA objects; a plurality of technical assertions for the plurality of SOA objects; and a plurality of links, linking each non-formalized operation requirement to at least one technical assertion of the registry; for at least one link, an intermediate representation of the respective non-formalized operation requirement, wherein the intermediate representation is human readable and comprises a semi-formal representation intermediate to the respective non-formalized operation requirement and a corresponding technical assertion; a graphical user interface presenting at least one non-formalized operation requirement and an intermediate representation of at least one linked technical assertion, wherein the graphical user interface is usable to: link at least two technical assertions to the same non-formalized operation requirement; and combine at least two technical assertions using Boolean expressions; wherein the registry comprises at least one link linking a single non-formalized operation requirement to technical assertions valid for at least two of the SOA objects; and wherein the registry is adapted to be used for transforming non-formalized operation requirements into technical assertions in a step-wise manner using at least one intermediate representation.