Author of the publication

A Method for Formal Verification of Service Interoperability.

, , , and . ICWS, page 895-900. IEEE Computer Society, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model-driven development of mediation for business services using COSMO., , , , , and . Enterprise IS, 3 (3): 319-345 (2009)On the Role of Basic Design Concepts in Behaviour Structuring., , , , and . Computer Networks and ISDN Systems, 29 (4): 413-436 (1997)Consistency in multi-viewpoint design of enterprise information systems., , and . Information & Software Technology, 50 (7-8): 737-752 (2008)Model-Driven Development of a Mediation Service., , , and . EDOC, page 117-126. IEEE Computer Society, (2008)Extending the Method of Bedell for Enterprise Architecture Valuation., and . EDOCW, page 370-379. IEEE Computer Society, (2011)From Business Strategy to Enterprise Architecture and Back., , and . EDOC Workshops, page 145-152. IEEE Computer Society, (2018)Modelling strategy with ArchiMate., , , , , and . SAC, page 1211-1218. ACM, (2015)A model-based service creation platform., and . M3W@MM, page 76-79. ACM, (2001)A Method for Formal Verification of Service Interoperability., , , and . ICWS, page 895-900. IEEE Computer Society, (2006)Model-driven design, simulation and implementation of service compositions in COSMO., , and . IJBPIM, 4 (1): 18-34 (2009)