{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:45:34Z","timestamp":1725518734919},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540874041"},{"type":"electronic","value":"9783540874058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87405-8_39","type":"book-chapter","created":{"date-parts":[[2008,9,17]],"date-time":"2008-09-17T10:48:17Z","timestamp":1221648497000},"page":"481-483","source":"Crossref","is-referenced-by-count":2,"title":["Triple Graph Grammars and OCL for Validating System Behavior"],"prefix":"10.1007","author":[{"given":"Duc-Hanh","family":"Dang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, S. (ed.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"39_CR2","unstructured":"Dang, D.H.: Validation of System Behavior Utilizing an Integrated Semantics of Use Case and Design Models. In: Pons, C. (ed.) Proc. Doctoral Symposium ACM\/IEEE 10th Int. Conf. MoDELS 2007, CEUR Workshop Proceedings, vol.\u00a0262 (2007)"},{"key":"39_CR3","volume-title":"AGTIVE 2008","author":"M. Gogolla","year":"2008","unstructured":"Gogolla, M., B\u00fcttner, F., Dang, D.H.: From Graph Transformation to OCL using USE. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2008. Springer, Berlin (2008)"},{"key":"39_CR4","unstructured":"Dang, D.H., Gogolla, M., B\u00fcttner, F.: From UML Activity Diagrams to CSP Processes: Realizing Graph Transformations in the UML and OCL Tool USE. In: AGTIVE 2007 Tool Contest, 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (2007), \n                    \n                      http:\/\/gtcases.cs.utwente.nl\/wiki\/UMLToCSP\/USE"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87405-8_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:57:56Z","timestamp":1619524676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87405-8_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540874041","9783540874058"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87405-8_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}