We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...