Browse by Projects

Conference or Workshop Item

Pokraev, Stanislav and Quartel, Dick and Steen, Maarten W.A. and Reichert, Manfred (2006) A Method for Formal Verification of Service Interoperability. In: Proceedings IEEE Int'l Conf. on Web Services (ICWS'06), September 2006, Salt Lake City, US.

Pokraev, Stanislav and Quartel, Dick and Steen, Maarten W.A. and Reichert, Manfred (2006) Requirements and Method for Assessment of Service Interoperability. In: Proc. 4th Int'l Conf. on Service Oriented Computing (ICSOC'06), December 2006, Chicago, USA.

Pokraev, Stanislav and Quartel, Dick and Steen, Maarten W.A. and Reichert, Manfred (2006) Semantic Service Modeling - Enabling System Interoperability. In: Proc. Int'l Conf. on Interoperability for Enterprise Software and Applications (I-ESA'06), March 2006, Bordeaux, France.

Pokraev, Stanislav and Reichert, Manfred (2006) Mediation Patterns for Message Exchange Protocols. In: Proc. CAiSE'06 Workshops - Open INTEROP-Workshop on Enterprise Modeling and Ontologies for Interoperability (EMOI'06). , June 2006, Luxembourg.