Abstract—In SOA applications are built from individual services offered by different providers. Typically an application comprises of several such services usually stemming from ...
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...