{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:49Z","timestamp":1725494089581},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308284"},{"type":"electronic","value":"9783642308291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30829-1_12","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T12:19:10Z","timestamp":1339157950000},"page":"166-180","source":"Crossref","is-referenced-by-count":5,"title":["Real-Time Coordination Patterns for Advanced Mechatronic Systems"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Dziwok","sequence":"first","affiliation":[]},{"given":"Christian","family":"Heinzemann","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Information and Computation\u00a0104, 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 91\u2013103. Springer, Heidelberg (2001)"},{"key":"12_CR3","unstructured":"Becker, S., Brenner, C., Dziwok, S., Gewering, T., Heinzemann, C., Pohlmann, U., Priesterjahn, C., Sch\u00e4fer, W., Suck, J., Sudmann, O., Tichy, M.: The MechatronicUML method \u2013 process, syntax, and semantics. Tech. Rep. tr-ri-12-318, Software Engineering Group, University of Paderborn (February 2012)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J.E. Bengtsson","year":"2004","unstructured":"Bengtsson, J.E., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"12_CR6","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. A System of Patterns, vol.\u00a01. Wiley (1996)"},{"key":"12_CR7","volume-title":"Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns","author":"B.P. Douglass","year":"1999","unstructured":"Douglass, B.P.: Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns. Addison-Wesley, Boston (1999)"},{"key":"12_CR8","volume-title":"Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems","author":"B.P. Douglass","year":"2002","unstructured":"Douglass, B.P.: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley, Boston (2002)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Dziwok, S., Br\u00f6ker, K., Heinzemann, C., Tichy, M.: A catalog for Real-Time Coordination Patterns of advanced mechatronic systems. Tech. Rep. tr-ri-12-319, University of Paderborn (February 2012)","DOI":"10.1007\/978-3-642-30829-1_12"},{"key":"12_CR10","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)"},{"key":"12_CR11","unstructured":"Giese, H., Burmester, S.: Real-time statechart semantics. Tech. Rep. tr-ri-03-239, Software Engineering Group, University of Paderborn (June 2003)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the compositional verification of real-time UML designs. In: Proceedings of the 9th European Software Engineering Conference held Jointly with the 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC\/FSE 2003, pp. 38\u201347. ACM Press (September 2003)","DOI":"10.1145\/940075.940078"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Heinzemann, C., Henkler, S.: Reusing dynamic communication protocols in self-adaptive embedded component architectures. In: Proceedings of the 14th International Symposium on Component Based Software Engineering, CBSE 2011, pp. 109\u2013118. ACM (June 2011)","DOI":"10.1145\/2000229.2000246"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Henninger, S., Corr\u00eaa, V.: Software pattern communities: Current practices and challenges. In: Proceedings of the 14th Conference on Pattern Languages of Programs, PLoP 2007, Monticello, Illinois, USA, September 5-8 (2007)","DOI":"10.1145\/1772070.1772087"},{"key":"12_CR15","unstructured":"National Science Foundation: A report by NSF-IRIS review panel for research on coordination theory and technology. Tech. rep., NSSF Forms and Publication Unit, National Science Foundation, Washington, D.C (1989)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, W., Wehrheim, H.: The Challenges of Building Advanced Mechatronic Systems. In: FOSE 2007: 2007 Future of Software Engineering, pp. 72\u201384. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.28"},{"key":"12_CR17","unstructured":"Scharnhorst, T., Heinecke, H., Schnelle, K.P., Bortolazzi, J., Lundh, L., Heitk\u00e4mper, P., Leflour, J., Mat\u00e9, J.L., Nishikawa, K.: Autosar - challenges and achievements 2005. In: 12th International VDI Congress Electronic Systems for Vehicles 2005, Baden-Baden. VDI Berichte, vol.\u00a01907. VDI (2005)"},{"volume-title":"Design Patterns Formalization Techniques","year":"2007","key":"12_CR18","unstructured":"Taibi, T. (ed.): Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)"},{"issue":"1","key":"12_CR19","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S. Tripakis","year":"2001","unstructured":"Tripakis, S., Yovine, S.: Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design\u00a018(1), 25\u201368 (2001)","journal-title":"Formal Methods in System Design"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30829-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:31:21Z","timestamp":1620127881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30829-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308284","9783642308291"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30829-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}