{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:08:56Z","timestamp":1742965736677,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_38","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"534-547","source":"Crossref","is-referenced-by-count":0,"title":["Contexts and Context Awareness in View of the Diagram Predicate Framework"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Wolter","sequence":"first","affiliation":[]},{"given":"Zinovy","family":"Diskin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/PERCOM.2008.21","volume-title":"Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008)","author":"I. Cafezeiro","year":"2008","unstructured":"Cafezeiro, I., Haeusler, E.H., Rademaker, A.: Ontology and context. In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), Hong Kong, 17-21 March 2008, pp. 417\u2013422. IEEE Computer Society, Los Alamitos (2008)"},{"key":"38_CR2","series-title":"LNBIP","first-page":"336","volume-title":"46th International Conference, Tools, Objects, Components, Models and Patterns EUROPE 2008","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z., Easterbrook, S., Dingel, J.: Engineering Associations: From Models to Codeand Back through Semantics. In: Paige, R.F., Meyer, B. (eds.) 46th International Conference, Tools, Objects, Components, Models and Patterns EUROPE 2008. LNBIP, vol.\u00a011, pp. 336\u2013355. Springer, Heidelberg (2008)"},{"key":"38_CR3","first-page":"144","volume":"3","author":"Z. Diskin","year":"1997","unstructured":"Diskin, Z.: Towards algebraic graph-based model theory for computer science. Bulletin of Symbolic Logic\u00a03, 144\u2013145 (1997); Presented (by title) Logic Colloquium 1995","journal-title":"Bulletin of Symbolic Logic"},{"key":"38_CR4","first-page":"348","volume-title":"Practical Foundations of Business System Specifications","author":"Z. Diskin","year":"2003","unstructured":"Diskin, Z.: Mathematics of UML: Making the Odysseys of UML less dramatic. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business System Specifications, pp. 348\u2013381. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"38_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0169-023X(03)00047-8","volume":"47","author":"Z. Diskin","year":"2003","unstructured":"Diskin, Z., Kadish, B.: Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling. Data & Knowledge Engineering\u00a047, 1\u201359 (2003)","journal-title":"Data & Knowledge Engineering"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Wolter, U.: A Diagrammatic Logic for Object-Oriented Visual Modeling. ENTCS (accepted, 2008)","DOI":"10.1016\/j.entcs.2008.10.041"},{"key":"38_CR7","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Fundamentals of Algebraic Graph Transformations","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. EATCS Monographs on Theoretical Computer Science. Springer, Berlin (2006)"},{"key":"38_CR8","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol.\u00a021. Springer, Berlin (1990)"},{"key":"38_CR9","unstructured":"Endler, M.: Context awareness (2005) (Summary)"},{"key":"38_CR10","volume-title":"Categories for Software Engineering","author":"J.L. Fiadeiro","year":"2005","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Berlin (2005)"},{"key":"38_CR11","unstructured":"Strang, T., Linnhoff-Popien, C.: A Context Modeling Survey. In: 1st Int. Workshop on Advanced Context Modeling, Reasoning and Management (2004)"},{"key":"38_CR12","unstructured":"Wolter, U., Diskin, Z.: From Indexed to Fibred Semantics \u2013 The Generalized Sketch File. Technical Report Report No 361, Department of Informatics, University of Bergen (October 2007)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T18:14:11Z","timestamp":1551636851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_38","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}