{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:27Z","timestamp":1725565887126},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_6","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:51:50Z","timestamp":1284641510000},"page":"69-88","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Component Concept for the Specification of Industrial Control Systems"],"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"}]},{"given":"Matthias","family":"Bengel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Object Management Group: Unified Modeling Language \u2013 Version 1.5, UML 1.5 (2003), Available from \n                    \n                      http:\/\/www.omg.org\/"},{"key":"6_CR2","unstructured":"Object Management Group: Unified Modeling Language \u2013 Version 2.0, UML 2.0 (2004), Available from \n                    \n                      http:\/\/www.omg.org\/"},{"key":"6_CR3","unstructured":"Braatz, A., Klein, M., Ehrig, H., Westk\u00e4mper, E.: Konzeption und Entwicklung eines UML-basierten Funktionsblockmodells f\u00fcr den objektorientierten Steuerungsentwurf. In: Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 2003), Institut f\u00fcr Regelungs- und Automatisierungstechnik, TU Braunschweig (2003)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1524\/auto.2001.49.5.225","volume":"5","author":"E. Westk\u00e4mper","year":"2001","unstructured":"Westk\u00e4mper, E., Braatz, A.: Eine Methode zur objektorientierten Software- Spezifikation von dezentralen Automatisierungssystemen mit der Unified Modeling Language (UML). At \u2013 Automatisierungstechnik\u00a05, 225\u2013233 (2001)","journal-title":"At \u2013 Automatisierungstechnik"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-45923-5_3","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2002","unstructured":"Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A Generic Component Concept for System Modeling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 33\u201348. Springer, Heidelberg (2002)"},{"key":"6_CR6","unstructured":"Parnitzke, D.: On Formal Semantics of Object Systems with Data and Object Attributes. Forschungsbericht 2001\/05, Fachbereich Informatik, TU Berlin (2001)"},{"key":"6_CR7","unstructured":"Tenzer, J.: A Formal Semantics of UML Class Diagrams based on Transformation Systems. Forschungsbericht 2001\/09, Fachbereich Informatik, TU Berlin (2001)"},{"key":"6_CR8","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":"6_CR9","unstructured":"Klein, M., Braatz, B., Ehrig, H., Schr\u00f6ter, G., Bengel, M.: Anwendung softwaretechnischer Komponentenkonzepte auf die Produktionsautomatisierung. atp \u2013 Automatisierungstechnische Praxis (2004) (to appear)"},{"key":"6_CR10","unstructured":"International Electrotechnical Commission: IEC\/PAS 61499-1 \u2013 Function Blocks for Industrial-Process Measurement and Control Systems \u2013 Part 1: Architecture. (2000)"},{"key":"6_CR11","unstructured":"Braatz, A.: Entwicklung einer Methode zur objektorientierten Spezifikation von Steuerungen. PhD thesis, Universit\u00e4t Stuttgart (2004) (submitted)"},{"key":"6_CR12","unstructured":"Braatz, A., Ritter, A.: Referenzfallstudie Produktionstechnik (PA) v2.0 (2001), Available from \n                    \n                      http:\/\/tfs.cs.tu-berlin.de\/~iosip\/"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Gro\u00dfe-Rhode, M.: Integration von Techniken der Softwarespezifikation f\u00fcr ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 16 (2001) 110\u2013117","DOI":"10.1007\/PL00009144"},{"key":"6_CR14","unstructured":"Klein, M., Oezhan, M., Piirainen, M.: IOSIP Case Study Model Files (2002), Available from \n                    \n                      http:\/\/tfs.cs.tu-berlin.de\/~iosip\/"},{"key":"6_CR15","unstructured":"Ehrig, H., Orejas, F.: A Generic Component Framework for Integrated Data Type and Process Modeling Techniques. Forschungsbericht 2001\/12, Fachbereich Informatik, TU Berlin (2001)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/978-3-540-27863-4_32","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"B. Braatz","year":"2004","unstructured":"Braatz, B., Klein, M., Schr\u00f6ter, G.: Semantical Integration of Object-Oriented Viewpoint Specification Techniques. 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. 602\u2013626. Springer, Heidelberg (2004)"},{"key":"6_CR17","series-title":"Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2 \u2013 Module Specifications and Constraints","author":"H. Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2 \u2013 Module Specifications and Constraints. Monographs on Theoretical Computer Science, vol.\u00a021. Springer, Heidelberg (1990)"},{"key":"6_CR18","unstructured":"Piirainen, M.: Applications of a Generic Component Framework to a UML Case Study in Production Automation. Diploma thesis, TU Berlin (2003)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/s10270-003-0043-9","volume":"3","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A Component Framework for System Modeling Based on High-Level Replacement Systems. Software and System Modeling\u00a03, 114\u2013135 (2004)","journal-title":"Software and System Modeling"}],"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_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:31:41Z","timestamp":1619998301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27863-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231356","9783540278634"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27863-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}