{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:00Z","timestamp":1762458540139,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540711551"},{"type":"electronic","value":"9783540711568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71156-8_14","type":"book-chapter","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T21:19:27Z","timestamp":1182374367000},"page":"258-280","source":"Crossref","is-referenced-by-count":12,"title":["Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems"],"prefix":"10.1007","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Mechatronics","author":"D. Bradley","year":"2000","unstructured":"Bradley, D., Seward, D., Dawson, D., Burge, S.: Mechatronics. Stanley Thornes, Cheltenham (2000)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/1029894.1029920","volume-title":"Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA","author":"H. Giese","year":"2004","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pp. 179\u2013188. ACM Press, New York (2004)"},{"issue":"5","key":"14_CR3","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/274946.274958","volume":"41","author":"J. Sztipanovits","year":"1998","unstructured":"Sztipanovits, J., Karsai, G., Bapty, T.: Self-adaptive software for signal processing. Commun. ACM\u00a041(5), 66\u201373 (1998)","journal-title":"Commun. ACM"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Musliner, D.J., Goldman, R.P., Pelican, M.J., Krebsbach, K.D.: Self-Adaptive Software for Hard Real-Time Environments. IEEE Inteligent Systems\u00a014(4) (1999)","DOI":"10.1109\/5254.784081"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P. Oreizy","year":"1999","unstructured":"Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems\u00a014(3), 54\u201362 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/940071.940078","volume-title":"Proc.\u00a0of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC\/FSE-11)","author":"H. Giese","year":"2003","unstructured":"Giese, H., Tichy, M., Burmester, S., Sch\u00e4fer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc.\u00a0of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC\/FSE-11), September 2003, pp. 38\u201347. ACM Press, New York (2003)"},{"key":"14_CR7","volume-title":"Proc.\u00a0of the 28th International Conference on Software Engineering (ICSE), Shanghai, China","author":"B. Becker","year":"2006","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In: Proc.\u00a0of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, New York (2006)"},{"key":"14_CR8","unstructured":"Giese, H., Schilling, D.: Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models. Technical Report tr-ri-04-252, Computer Science, University of Paderborn, Germany (2004)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Hestermeyer, T., Oberschelp, O., Giese, H.: Structured Information Processing For Self-optimizing Mechatronic Systems. In: Araujo, H., Vieira, A., Braz, J., Encarnacao, B., Carvalho, M. (eds.) Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, Aug. 2004, pp. 230\u2013237. INSTICC Press (2004)","DOI":"10.5220\/0001138102300237"},{"key":"14_CR10","volume-title":"Informatics in Control, Automation and Robotics I","author":"S. Burmester","year":"2006","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In: Braz, J., Ara\u00fajo, H., Vieira, A., Encarnacao, B. (eds.) Informatics in Control, Automation and Robotics I, Springer, Heidelberg (2006)"},{"key":"14_CR11","unstructured":"Giese, H.: A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. Technical Report tr-ri-03-240, Computer Science, University of Paderborn, Germany (2003)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Safety, Reliability, and Security","author":"H. Giese","year":"2004","unstructured":"Giese, H., Tichy, M., Schilling, D.: Compositional Hazard Analysis of UML Components and Deployment Models. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, Springer, Heidelberg (2004)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Tichy, M., Schilling, D., Giese, H.: Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns. In: Proc. of the Workshop on Self-Managed Systems 2004, FSE 2004 Workshop, Newport Beach, USA (2004)","DOI":"10.1145\/1075405.1075426"},{"key":"14_CR14","first-page":"241","volume-title":"Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland","author":"H.J. K\u00f6hler","year":"2000","unstructured":"K\u00f6hler, H.J., Nickel, U., Niere, J., Z\u00fcndorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 241\u2013251. ACM Press, New York (2000)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/978-3-540-31846-0_16","volume-title":"Software Engineering for Multi-Agent Systems III","author":"F. Klein","year":"2005","unstructured":"Klein, F., Giese, H.: Separation of concerns for mechatronic multi-agent systems through dynamic communities. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds.) Software Engineering for Multi-Agent Systems III. LNCS, vol.\u00a03390, pp. 272\u2013289. Springer, Heidelberg (2005)"},{"key":"14_CR16","unstructured":"Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In: Bobeanu, C. (ed.) Proc. of European Simulation and Modelling Conference (ESMc\u20192004), Paris, France, October 2004, pp. 66\u201373. EOROSIS Publications (2004)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_4","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Model-driven architecture for hard real-time systems: From platform independent models to code. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, Springer, Heidelberg (2005)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/11538097_4","volume-title":"Model Driven Architecture","author":"S. Burmester","year":"2005","unstructured":"Burmester, S., Giese, H., Tichy, M.: Model-driven development of reconfigurable mechatronic systems with mechatronic UML. In: A\u00dfmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"14_CR19","unstructured":"Giese, H., Burmester, S.: Real-Time Statechart Semantics. Technical Report tr-ri-03-239, Computer Science, University of Paderborn, Germany (2003)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology\u00a01(1) (1997)","DOI":"10.1007\/s100090050010"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What Good Are Digital Clocks? In: Kuich, W. (ed.) Automata, Languages and Programming. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 150\u2013171. Springer, Heidelberg (2002)"},{"key":"14_CR23","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1. World Scientific Pub. Co., Singapore (1997)"},{"issue":"7","key":"14_CR24","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"Chan, W., Anderson, R.J., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.D.: Model Checking Large Software Specifications. IEEE Transactions on Software Engineering\u00a024(7), 498\u2013520 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"14_CR25","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, M.: Proofs of networks of processes. IEEE Transactions on Software Engineering\u00a07(4), 417\u2013426 (1981)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR26","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/1062455.1062535","volume-title":"Proc. ICSE","author":"M.F. Frias","year":"2005","unstructured":"Frias, M.F., Galeotti, J.P., Pombo, C.L., Aguirre, N.: DynAlloy: Upgrading Alloy with actions. In: Proc. ICSE, pp. 442\u2013451. ACM Press, New York (2005)"},{"issue":"2","key":"14_CR28","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: A lightweight object modelling notation. ACM Trans. Software Engineering and Methodology\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Software Engineering and Methodology"},{"key":"14_CR29","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/940071.940082","volume-title":"Proc. ESEC\/FSE","author":"L. Baresi","year":"2003","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Modeling and validation of service-oriented architectures: Application vs. style. In: Proc. ESEC\/FSE, pp. 68\u201377. ACM Press, New York (2003)"},{"key":"14_CR30","unstructured":"Rensink, A.: Towards model checking graph grammars. In: Proc. AVoCS, University of Southampton, 150\u2013160 (2003)"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/978-3-540-24721-0_26","volume-title":"Fundamental Approaches to Software Engineering","author":"P.C. \u00d6lveczky","year":"2004","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification and analysis of real-time systems using Real-Time Maude. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 354\u2013358. Springer, Heidelberg (2004)"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/978-3-540-24769-2_2","volume-title":"Software Architecture","author":"M. Caporuscio","year":"2004","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Formal analysis of architectural patterns. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol.\u00a03047, pp. 10\u201324. Springer, Heidelberg (2004)"},{"key":"14_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-44685-0_26","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: A static analysis technique for graph transformation systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 381\u2013395. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Reliable Systems on Unreliable Networked Platforms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71156-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T11:07:47Z","timestamp":1737112067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71156-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711551","9783540711568"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71156-8_14","relation":{},"subject":[]}}