{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:40Z","timestamp":1725565900329},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231356"},{"type":"electronic","value":"9783540278634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27863-4_32","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:51:50Z","timestamp":1284655910000},"page":"602-626","source":"Crossref","is-referenced-by-count":6,"title":["Semantical Integration of Object-Oriented Viewpoint Specification Techniques"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Braatz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunnar","family":"Schr\u00f6ter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering\u00a02, 31\u201358 (1992)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"32_CR2","unstructured":"International Organization for Standardization: ISO 10746:1998 \u2013 Information Technology \u2013 Open Distributed Processing \u2013 Reference Model (1998)"},{"key":"32_CR3","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/PL00009144","volume":"16","author":"H. Ehrig","year":"2001","unstructured":"Ehrig, H., Gro\u00dfe-Rhode, M.: Integration von Techniken der Softwarespezifikation f\u00fcr ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung\u00a016, 110\u2013117 (2001)","journal-title":"Informatik Forschung und Entwicklung"},{"key":"32_CR4","unstructured":"Schr\u00f6ter, G., Braatz, B., Ehrig, H., Klein, M., Bengel, M.: Semantische Konsistenz viewpoint-orientierter Modellierungstechniken am Beispiel der Produktionsautomatisierung. atp \u2013 Automatisierungstechnische Praxis (2004) (to appear)"},{"key":"32_CR5","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09853-0","volume-title":"Semantic Integration of Heterogeneous Software Specifications","author":"M. Gro\u00dfe-Rhode","year":"2004","unstructured":"Gro\u00dfe-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)"},{"key":"32_CR6","unstructured":"Tenzer, J.: A Formal Semantics of UML Class Diagrams based on Transformation Systems. Forschungsbericht 2001\/09, Fachbereich Informatik, TU Berlin (2001)"},{"key":"32_CR7","unstructured":"Parnitzke, D.: On Formal Semantics of Object Systems with Data and Object Attributes. Forschungsbericht 2001\/05, Fachbereich Informatik, TU Berlin (2001)"},{"key":"32_CR8","unstructured":"Object Management Group: Unified Modeling Language \u2013 Version 2.0 (UML 2.0) (2004), Available from \n                    \n                      http:\/\/www.omg.org\/"},{"key":"32_CR9","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"32_CR10","series-title":"Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations: Foundations","year":"1997","key":"32_CR11","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"32_CR12","unstructured":"International Organization for Standardization: ISO 8807:1989 \u2013 Information Processing Systems \u2013 Open Systems Interconnection \u2013 LOTOS \u2013 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (1989)"},{"key":"32_CR13","volume-title":"Parallel Program Design \u2013 A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design \u2013 A Foundation. Addison-Wesley, Reading (1988)"},{"key":"32_CR14","unstructured":"Object Management Group: Unified Modeling Language \u2013 Version 1.5 (UML 1.5) (2003), Available from \n                    \n                      http:\/\/www.omg.org\/"},{"key":"32_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery\u00a039, 95\u2013146 (1992)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(94)90110-4","volume":"135","author":"H. Ehrig","year":"1994","unstructured":"Ehrig, H., Gro\u00dfe-Rhode, M.: Functorial Theory of Parameterized Specifications in a General Specification Framework. Theoretical Computer Science\u00a0135, 221\u2013266 (1994)","journal-title":"Theoretical Computer Science"},{"key":"32_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1007\/978-3-540-27863-4_31","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"F. Orejas","year":"2004","unstructured":"Orejas, F., Pino, E.: On the Integration of Heterogeneous Specifications. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 582\u2013601. Springer, Heidelberg (2004)"},{"key":"32_CR18","unstructured":"Ehrig, H., Orejas, F.: Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS, 90\u201397 (1998)"},{"key":"32_CR19","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Graph Transformation and Visual Modeling Techniques (GT-VMT 2001)","author":"H. Ehrig","year":"2001","unstructured":"Ehrig, H., Orejas, F.: A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. In: Graph Transformation and Visual Modeling Techniques (GT-VMT 2001). Electronic Notes in Theoretical Computer Science, vol.\u00a050(3), Elsevier, Amsterdam (2001)"},{"key":"32_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24721-0_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bardohl","year":"2004","unstructured":"Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta-Modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 214\u2013228. Springer, Heidelberg (2004)"},{"key":"32_CR21","series-title":"Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1 \u2013 Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1 \u2013 Equations and Initial Semantics. Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Heidelberg (1985)"},{"key":"32_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Casl Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"32_CR23","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"32_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-27863-4_6","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"B. Braatz","year":"2004","unstructured":"Braatz, B., Klein, M., Schr\u00f6ter, G., Bengel, M.: A Formal Component Concept for the Specification of Industrial Control Systems. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 69\u201388. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Integration of Software Specification Techniques for Applications in Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27863-4_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:31:40Z","timestamp":1620012700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}