{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:04Z","timestamp":1750307464155,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,12,16]],"date-time":"2009-12-16T00:00:00Z","timestamp":1260921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,12,16]]},"DOI":"10.1145\/1838002.1838057","type":"proceedings-article","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T13:15:36Z","timestamp":1280754936000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Semi-automated service composition using visual contracts"],"prefix":"10.1145","author":[{"given":"Muhammad","family":"Naeem","sequence":"first","affiliation":[{"name":"University of Leicester, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[{"name":"University of Leicester, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[{"name":"Technical University of Catalonia, Barcelona"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,12,16]]},"reference":[{"volume-title":"Proceedings of the fourth International Conference on Web Information Systems Engineering. IEEE Computer Society Washington, DC, USA. (2003)","author":"Papazoglou P.","key":"e_1_3_2_1_1_1","unstructured":"Papazoglou P. : Service-Oriented Computing: Concepts, Characteristics and Directions . In Proceedings of the fourth International Conference on Web Information Systems Engineering. IEEE Computer Society Washington, DC, USA. (2003) 3--12 Papazoglou P.: Service-Oriented Computing: Concepts, Characteristics and Directions. In Proceedings of the fourth International Conference on Web Information Systems Engineering. IEEE Computer Society Washington, DC, USA. (2003) 3--12"},{"volume-title":"IEEE International Conference in Web Servcies. (2007)","author":"Kim I. W.","key":"e_1_3_2_1_2_1","unstructured":"Kim I. W. , and Lee K. H .: Describing Semantic Web Services: From UML to OWL-S . IEEE International Conference in Web Servcies. (2007) 529--536 Kim I. W., and Lee K. H.: Describing Semantic Web Services: From UML to OWL-S. IEEE International Conference in Web Servcies. (2007) 529--536"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_43"},{"issue":"2","key":"e_1_3_2_1_4_1","first-page":"67","volume":"2","author":"Hausmann J. H.","year":"2005","unstructured":"Hausmann J. H. , Heckel R. , and Lohmann M. : Model -based Development of Web Services enabling the Precise Matching Concept. IJWSR , Vol. 2 , No. 2 , ( 2005 ) 67 -- 84 Hausmann J. H., Heckel R., and Lohmann M.: Model-based Development of Web Services enabling the Precise Matching Concept. IJWSR, Vol. 2, No. 2, (2005) 67--84","journal-title":"Precise Matching Concept. IJWSR"},{"volume-title":"CTIT Proceedings of The First International Workshop on Model Driven Product Line Engineering collocated with Fifth ECMDA. (June 2009)","author":"Naeem M.","key":"e_1_3_2_1_5_1","unstructured":"Naeem M. , and Heckel R .: Flexible Services Specification and Matching Based on Feature Models . In CTIT Proceedings of The First International Workshop on Model Driven Product Line Engineering collocated with Fifth ECMDA. (June 2009) 34--42 Naeem M., and Heckel R.: Flexible Services Specification and Matching Based on Feature Models. In CTIT Proceedings of The First International Workshop on Model Driven Product Line Engineering collocated with Fifth ECMDA. (June 2009) 34--42"},{"key":"e_1_3_2_1_6_1","volume-title":"Architecture and Infrastructure Workshop in ICEIS","author":"Sirin E.","year":"2002","unstructured":"Sirin E. , Hendler J. , and Parsia B .: Semi-automatic Composition of Web Services using Semantic Descriptions, In Web Services: Modeling , Architecture and Infrastructure Workshop in ICEIS , ( 2002 ) 17--24 Sirin E., Hendler J., and Parsia B.:Semi-automatic Composition of Web Services using Semantic Descriptions, In Web Services: Modeling, Architecture and Infrastructure Workshop in ICEIS, (2002) 17--24"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/NWESP.2007.12"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2008.152"},{"volume-title":"Proceedings of The Second International Semantic Web Conference. (2003)","author":"Wu D.","key":"e_1_3_2_1_9_1","unstructured":"Wu D. , Parsia B. , Sirin E. , Hendler J. and Nau D .: Automating DAML-S Web Services Composition Using SHOP-2 . In Proceedings of The Second International Semantic Web Conference. (2003) 195--210 Wu D., Parsia B., Sirin E., Hendler J. and Nau D.: Automating DAML-S Web Services Composition Using SHOP-2. In Proceedings of The Second International Semantic Web Conference. (2003) 195--210"},{"volume-title":"Proceedings of The Second International Semantic Web Conference. (2003)","author":"Mandell D. J.","key":"e_1_3_2_1_10_1","unstructured":"Mandell D. J. and McIlraith S. A. : Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation . In Proceedings of The Second International Semantic Web Conference. (2003) 227--241 Mandell D. J. and McIlraith S. A.: Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In Proceedings of The Second International Semantic Web Conference. (2003) 227--241"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.018"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1973.11"},{"key":"e_1_3_2_1_14_1","volume-title":"ProcSWSWPC of the 27th ICALP","author":"Engels G.","year":"1853","unstructured":"Engels G. , and Heckel , R .: Graph Transformation as a Conceptual and Formal Frame-work for System Modelling and Model Evolution . In ProcSWSWPC of the 27th ICALP . Springer Berlin\/Heidelberg . LNCS 1853 (2000) 127--150 Engels G., and Heckel, R.: Graph Transformation as a Conceptual and Formal Frame-work for System Modelling and Model Evolution. In ProcSWSWPC of the 27th ICALP. Springer Berlin\/Heidelberg. LNCS 1853 (2000) 127--150"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02251236"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_24"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/647562.730670"},{"volume-title":"Paderborn, (November 1998)","author":"Ehrig H.","key":"e_1_3_2_1_18_1","unstructured":"Ehrig H. , Engels G. , Heckel R. , and Taentzer G .: Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In G. Engels, G. Rozenberg (eds.): Pre-Proceedings TAGT'98 - Sixth International Workshop on TAGT . Paderborn, (November 1998) 122--131. Ehrig H., Engels G., Heckel R., and Taentzer G.: Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In G. Engels, G. Rozenberg (eds.): Pre-Proceedings TAGT'98 - Sixth International Workshop on TAGT. Paderborn, (November 1998) 122--131."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(98)00023-9"},{"key":"e_1_3_2_1_20_1","volume-title":"Abstract graph derivations in the double pushout approach","author":"Corradini A.","year":"2006","unstructured":"Corradini A. , Ehrig H. , L\u00f6we M. , Montanari U. , and Rossi F .: Abstract graph derivations in the double pushout approach . Springer Berlin\/Heidelberg (Pub .), Vol. 776\/1994 , ( January 21, 2006 ) 104--118 Corradini A., Ehrig H., L\u00f6we M., Montanari U., and Rossi F.: Abstract graph derivations in the double pushout approach. Springer Berlin\/Heidelberg (Pub.), Vol. 776\/1994, (January 21, 2006) 104--118"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_17"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"Rozenberg G.","year":"1997","unstructured":"Rozenberg G. (editor): Handbook of Graph Grammars and Computing by Graph Transformation : Volume I . Foundations. World Scientific (Pub .), ISBN 98-102288-48, River Edge, NJ, USA, ( 1997 ) Rozenberg G. (editor): Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations. World Scientific (Pub.), ISBN 98-102288-48, River Edge, NJ, USA, (1997)"},{"volume-title":"Fundamentals of Algebraic Graph Transformation. Editors","author":"Ehrig H.","key":"e_1_3_2_1_23_1","unstructured":"Ehrig H. , Ehrig K. , Prange U. , and Taentzer G .: Fundamentals of Algebraic Graph Transformation. Editors : W. Brauer G. Rozenberg A. Salomaa, Springer Berlin Heidelberg New York (1998) Ehrig H., Ehrig K., Prange U., and Taentzer G.: Fundamentals of Algebraic Graph Transformation. Editors: W. Brauer G. Rozenberg A. Salomaa, Springer Berlin Heidelberg New York (1998)"}],"event":{"name":"FIT '09: 7th International Conference on Frontiers of Information Technology","sponsor":["COMSATS Institute of Information Technology","SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Abbottabad Pakistan","acronym":"FIT '09"},"container-title":["Proceedings of the 7th International Conference on Frontiers of Information Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1838002.1838057","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1838002.1838057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:29Z","timestamp":1750248509000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1838002.1838057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,16]]},"references-count":23,"alternative-id":["10.1145\/1838002.1838057","10.1145\/1838002"],"URL":"https:\/\/doi.org\/10.1145\/1838002.1838057","relation":{},"subject":[],"published":{"date-parts":[[2009,12,16]]},"assertion":[{"value":"2009-12-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}