کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
434332 | 1441712 | 2012 | 17 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: A generic framework for nn-protocol compatibility checking A generic framework for nn-protocol compatibility checking](/preview/png/434332.png)
Service-Oriented Computing promotes the development of new systems from existing services which are usually accessed through their public interfaces. In this context, interfaces must be compatible in order to avoid interoperability issues. In this article, we propose a new framework for checking the compatibility of nn service interfaces. Our framework is generic, in the sense that it implements several compatibility notions useful for different application areas, and extensible since new further notions can easily be incorporated. We consider a service interface model which takes behavioural descriptions with value-passing and non-observable actions into account. Our compatibility checking framework has been fully implemented into a prototype tool which relies on the rewriting logic-based system Maude.
► We propose a generic framework for checking the compatibility of nn service interfaces.
► The interfaces consider interaction protocols, value-passing, and internal behaviours.
► We formalise several compatibility notions for nn services, supported by our framework.
► This framework is supported by a Maude-based implementation.
Journal: Science of Computer Programming - Volume 77, Issues 7–8, 1 July 2012, Pages 870–886