{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:31:28Z","timestamp":1729668688809,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/sose.2010.12","type":"proceedings-article","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T21:15:38Z","timestamp":1284585338000},"page":"159-164","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Graph Grammar Based Verification Approach for Runtime Constrained Evolution of Service-Oriented Architectures"],"prefix":"10.1109","author":[{"given":"Yongwang","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Bingyang","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Min","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Chunyang","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Dianfu","family":"Ma","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Web services choreography description language version 1.0","author":"kavantzas","year":"2005","journal-title":"Candidate Recommendation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/69.842269"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.708567"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1236471"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1142\/3303","article-title":"Foundations","volume":"1","author":"rozenberg","year":"1997","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformations"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/321921.321925"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04921-1"},{"key":"ref18","first-page":"393","article-title":"Algebraic software architecture reconfiguration","author":"wermelinger","year":"1999","journal-title":"ESEC\/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on foundations of software engineering"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00036-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"journal-title":"SimPack A Generic Java Library for Similiarity Measures in Ontologies","year":"2005","author":"bernstein","key":"ref3"},{"key":"ref6","first-page":"135","article-title":"Theory of constraints and application conditions: From graphs to high-level structures","volume":"74","author":"ehrig","year":"2006","journal-title":"Fundam Inf"},{"key":"ref5","first-page":"39","article-title":"Modelling dynamic software architectures using typed graph grammars","author":"brunia","year":"2007","journal-title":"GT-VC'07 Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification"},{"key":"ref8","article-title":"Towards a uml profile for service-oriented architectures","author":"heckel","year":"2003","journal-title":"Proceedings of the Workshop on Model Driven Architecture Foundations and Applications"},{"key":"ref7","first-page":"247","author":"ehrig","year":"1997","journal-title":"Algebraic Approaches to Graph Transformation Part Ii Single Pushout Approach and Comparison with Double Pushout Approach"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-006-0001-4","article-title":"Style-based modeling and refinement of service-oriented architectures","volume":"5","author":"baresi","year":"2006","journal-title":"Software and Systems Modeling"},{"journal-title":"OASIS Standard","article-title":"Web services business process execution language version 2.0","year":"2007","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1504\/IJIPT.2006.009739"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1281480.1281484"}],"event":{"name":"2010 Fifth International Symposium on Service Oriented System Engineering (SOSE)","start":{"date-parts":[[2010,6,4]]},"location":"Nanjing, China","end":{"date-parts":[[2010,6,5]]}},"container-title":["2010 Fifth IEEE International Symposium on Service Oriented System Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5569877\/5569889\/05569912.pdf?arnumber=5569912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T20:26:09Z","timestamp":1559679969000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5569912\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/sose.2010.12","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}