This is achieved by a translation of BPEL specifications to set of logic tuples, and conceiving the execution cycle of the orchestration engine in terms of ReSpecT reactions.
In previous work we have described techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for LOTOS and Z/Object-Z.
Compared to static message translation between different specifications, this approach well integrates with the distributed architectures and does not need to perform costly operations such as parsing and message construction.
Translation from product specification data sheets (hardness, tensile strength, DIN or ASTM abrasion resistance) to field wear performance is discussed.
Standardization organizations define protocols in the form of recommendations (e.g., RFC) written in technical English, which requires a manual translation of the specification into the protocol implementation.
After stints translating software instruction manuals and onscreen displays, I moved into more technical translations of software specifications, telecommunications glossaries, and intellectual property documents.
So, collaboration was narrowed to working on the same code files; other software development activities (testing, bug-fixing, translation, code-review, specification, testing, design) should be included.
CollisionSyzygy is working on creating a single specification translation software that will make the three dominant standards of data reporting compatible: ADP, Mitchell, and CCC.
The monitoring of SLAs expressed in the SLA specification language of SLA@SOI requires the translation of these SLAs into operational monitoring specifications (i.e., specifications that can be checked by a low level monitor plugged into the SLA@SOI framework).
The specification-translation method has been integrated with an existing Geometric Programming based robust CMOS analog circuit sizing method.
