{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:31:48Z","timestamp":1760707908344},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T00:00:00Z","timestamp":1201564800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transf"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10009-008-0067-0","type":"journal-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T11:52:03Z","timestamp":1201521123000},"page":"207-222","source":"Crossref","is-referenced-by-count":24,"title":["Tool support for the design of self-optimizing mechatronic multi-agent systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Sven","family":"Burmester","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eckehard","family":"M\u00fcnch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Oberschelp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Scheideler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,1,29]]},"reference":[{"key":"67_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(3\u201334) (1995)","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"67_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Dang, T., Esposito, J., Fierro, R., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Proceedings of the 1st Workshop on Embedded Software (2001)","DOI":"10.1007\/3-540-45449-7_2"},{"key":"67_CR3","volume-title":"Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion","author":"M. Awad","year":"1996","unstructured":"Awad, M., Kuusela, J., Ziegler, J.: Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice Hall, Enlewood cliffs (1996)"},{"key":"67_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, B., M\u00fcller, J.P.: Using UML in the context of agent- oriented software engineering: State of the art. In: Agent-Oriented Software Engineering IV. LNCS, vol. 2935, pp. 1\u201324. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-24620-6_1"},{"key":"67_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: a Formalism for specifying multiagent interaction. In: Ciancarini, P., Wooldridge, M. (eds.) Workshop on Agent-Oriented Software Engineering (Held at the 22nd International Conference on Software Engineering (ISCE2000)), pp. 91\u2013103. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-44564-1_6"},{"key":"67_CR6","unstructured":"Bender, K., Broy, M., Peter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems. In: Modelling, Analysis, and Design of Hybrid Systems. Lecture Notes on Control and Information Sciences, vol. 279, pages 37\u201352 Springer, Heidelberg (2002)"},{"key":"67_CR7","doi-asserted-by":"crossref","unstructured":"Bichler, L., Radermacher, A., Schuerr, A.: Evaluating UMl Extensions for Modeling Real-Time Systems. In: Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), pp. 271ff, San Diego (2002)","DOI":"10.1109\/WORDS.2002.1000062"},{"key":"67_CR8","volume-title":"The Real-Time Specification for JavaTM","author":"G. Bollella","year":"2000","unstructured":"Bollella, G., Brosgol, B., Furr, S., Hardin, S., Dibble, P., Gosling, J., Turnbull, M.: The Real-Time Specification for JavaTM. Addison-Wesley, (2000)"},{"key":"67_CR9","unstructured":"Bradley, D., Seward, D., Dawson, D., Burge, S.: Mechatronics. Stanley Thornes (2000)"},{"key":"67_CR10","unstructured":"Brooks, R.A.: Intelligence without reason. In: Myopoulos, J., Reiter, R. (eds) Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pp. 569\u2013595, Sydney, Morgan Kaufmann publishers Inc., San Mateo"},{"key":"67_CR11","doi-asserted-by":"crossref","unstructured":"Burmester, S., Gehrke, M., Giese, H., Oberth\u00fcr, S.: Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. In: Proceedings of 4th ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, ACM, (2004)","DOI":"10.1145\/1017753.1017783"},{"key":"67_CR12","unstructured":"Burmester, S., Giese, H., Gambuzza, A., Oberschelp, O.: Partitioning and modular code synthesis for reconfigurable mechatronic software components. In: Proceedings of European Simulation and Modelling Conference (ESMc\u20192004), Paris (2004)"},{"key":"67_CR13","unstructured":"Burmester, S., Giese, H., Oberschelp, O.: Hybrid UML components for the design of complex self-optimizing mechatronic systems. In: Proceedings of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, IEEE, Washington (2004)"},{"key":"67_CR14","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Sch\u00e4fer, W.: Model-driven architecture for hard real-time systems: from platform independent models to code. In: Proceedings of the European Conference on Model Driven Architecture\u2014Foundations and Applications (ECMDA-FA\u201905), N\u00fcrnberg, LNCS, vol. 3748, pp. 1\u201315. Springer, Heidelberg (2005)","DOI":"10.1007\/11581741_4"},{"key":"67_CR15","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Tichy, M.: Model-driven development of reconfigurable mechatronic systems with mechatronic UML. In Model Driven Architecture: Foundations and Applications, LNCS, vol. 3599, pp. 47\u201361. Springer, Heidelberg (2005)","DOI":"10.1007\/11538097_4"},{"key":"67_CR16","doi-asserted-by":"crossref","unstructured":"Cotting, M.C., Burken, J.J.: Reconfigurable control design for the full x-33 flight envelope. Technical report, NASA Dryden Flight Research Center Edwards, California (2001)","DOI":"10.2514\/6.2001-4379"},{"key":"67_CR17","unstructured":"Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (1999)"},{"key":"67_CR18","volume-title":"Multi-agent systems : an introduction to distributed artificial intelligence","author":"J. Ferber","year":"1999","unstructured":"Ferber, J.: Multi-agent systems : an introduction to distributed artificial intelligence. Addison-Wesley, Reading (1999)"},{"issue":"5","key":"67_CR19","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/2.144395","volume":"25","author":"I.A. Ferguson","year":"1992","unstructured":"Ferguson, I.A.: Touringmachines: autonomous agents with attitudes. IEEE Comput. 25(5), 51\u201355 (1992)","journal-title":"IEEE Comput."},{"key":"67_CR20","unstructured":"Giese, H., Burmester, S., Klein, F., Schilling, D., Tichy, M.: Multi-agent system design for safety-critical self-optimizing mechatronic systems with UML. In: OOPSLA 2003\u20142nd International Workshop on Agent-Oriented Methodologies, Anaheim, pp. 21\u201332 (2003)"},{"key":"67_CR21","doi-asserted-by":"crossref","unstructured":"Giese, H., Burmester, S., Sch\u00e4fer, W., Oberschelp, O.: Modular design and verification of component-based mechatronic systems with online-reconfiguration. In: Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, ACM, New York (2004)","DOI":"10.1145\/1029894.1029920"},{"key":"67_CR22","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 ESEC\/FSE, Helsinki, pp. 38\u201347. ACM Press, New York (2003)","DOI":"10.1145\/940071.940078"},{"key":"67_CR23","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with UML","author":"H. Gomaa","year":"2000","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, Reading (2000)"},{"key":"67_CR24","doi-asserted-by":"crossref","unstructured":"Grosu, R., Stauner, T., Broy, M.: A modular visual model for hybrid systems. In: Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT\u201998). LNCS, vol. 1486. Springer, Heidelberg (1998)","DOI":"10.1007\/BFb0055338"},{"key":"67_CR25","unstructured":"Gu, Z., Kodase, S., Wang, S., Shin, K.G.: A model-based approach to system-level dependency and real-time analysis of embedded software. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto (2003)"},{"key":"67_CR26","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: Masaccio: a Formal model for embedded components. In: Proceedings of the 1st IFIP International Conference on Theoretical Computer Science (TCS). LNCS, vol. 1872, Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-44929-9_38"},{"key":"67_CR27","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: the next generation. In: Proceedings of the 16th IEEE Real-Time Symposium. IEEE Computer Press, Piscataway (1995)","DOI":"10.1109\/REAL.1995.495196"},{"key":"67_CR28","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Minea, M., Prabhu, V.: Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001), Rome. LNCS, vol. 2034, pp. 275\u2013290. Springer, Heildelberg (2001)","DOI":"10.1007\/3-540-45351-2_24"},{"key":"67_CR29","unstructured":"Hestermeyer, T., M\u00fcnch, E., Oberschelp, O.: Sollbahn\u2014Planung f\u00fcr schienengebundene Fahrzeuge. In: Berechnung und Simulation im Fahrzeugbau 2004, W\u00fcrzburg, VDI (2004)"},{"key":"67_CR30","unstructured":"Hestermeyer, T., Oberschelp, O., Giese, H.: Structured information processing for self-optimizing mechatronic systems. In: Proceedings of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal. IEEE, Washington (2004)"},{"key":"67_CR31","unstructured":"Honekamp, U.: IPANEMA\u2014Verteilte Echtzeit-Informationsverarbeitung in mechatronischen Systemen. PhD thesis, Universit\u00e4t Paderborn, D\u00fcsseldorf (1998)"},{"key":"67_CR32","volume-title":"Adaptive Control Systems","author":"R. Isermann","year":"1992","unstructured":"Isermann, R., Lachmann, K.-H., Matko, D.: Adaptive Control Systems. Prentice Hall, Hertfordshire (1992)"},{"key":"67_CR33","unstructured":"Kapinski, J., Krogh, B.: Verifying switched-mode computer controlled systems. In: Computer Aided Control System Design. IEEE Control Systems Society, Washington (2002)"},{"key":"67_CR34","doi-asserted-by":"crossref","unstructured":"Kesten, Y., Pnueli, A.: Timed and hybrid statecharts and their textual representation. In: Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, 2nd International Symposium, LNCS, vol. 571. Springer, Heidelberg (1992)","DOI":"10.1007\/3-540-55092-5_32"},{"key":"67_CR35","doi-asserted-by":"crossref","unstructured":"K\u00fchl, M., Reichmann, C., Pr\u00f6tel, I., M\u00fcller-Glaser, K.D.: From object-oriented modeling to code generation for rapid prototyping of embedded electronic systems. In: Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP\u201902), Darmstadt, Heidelberg (2002)","DOI":"10.1109\/IWRSP.2002.1029745"},{"key":"67_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-57318-6_25","volume-title":"Hybrid systems in tla+","author":"L. Lamport","year":"1993","unstructured":"Lamport, L.: Hybrid systems in tla+. Springer, Heidelberg (1993)"},{"key":"67_CR37","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer Int. J. Softw. Tools Technol 1(1) (1997)","DOI":"10.1007\/s100090050010"},{"key":"67_CR38","doi-asserted-by":"crossref","unstructured":"Li, P.Y., Horowitz, R.: Self-optimizing control. In: Proceedings of the 36th IEEE Conference on Decision and Control (CDC), pp. 1228\u20131233, San Diego (1997)","DOI":"10.1109\/CDC.1997.657621"},{"key":"67_CR39","doi-asserted-by":"crossref","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O Automata Revisited. In: Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control (HSCC 2001), Rome LNCS, vol. 2034, pp. 403\u2013417. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45351-2_33"},{"key":"67_CR40","doi-asserted-by":"crossref","unstructured":"Masse, J., Kim, S., Hong, S.: Tool set implementation for scenario-based multithreading of UML-RT models and experimental validation. In: The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto (2003)","DOI":"10.1109\/RTTAS.2003.1203038"},{"key":"67_CR41","doi-asserted-by":"crossref","unstructured":"McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.: Composing Adaptive Software. IEEE Comput. 37(7) (2004)","DOI":"10.1109\/MC.2004.48"},{"key":"67_CR42","unstructured":"M\u00fcnch, E., Oberschelp, O., Hestermeyer, T., Scheideler, P., Schmidt, A.: Distributed optimization of reference trajectories for active suspension with multi-agent systems. In: 18th European Simulation Multiconference (ESM), Magdeburg, VDI (2004)"},{"key":"67_CR43","unstructured":"Naumann, R., Rasche, R.: Description and simulation of hybrid mechatronic systems. In: International Workshop on Hybrid Systems: Computation and Control, Berkeley (1998)"},{"key":"67_CR44","unstructured":"Oberschelp, O., Gambuzza, A., Burmester, S., Giese, H.: Modular generation and simulation of mechatronic systems. In: Proceedings of the 8th world multi-conference on systemics, cybernetics and informatics (SCI), Orlando (2004)"},{"key":"67_CR45","unstructured":"Oberschelp, O., Hestermeyer, T., Kleinjohann, B., Kleinjohann, L.: Design of self-optimizing agent-based controllers. In CfP Workshop 2002\u2014Agent-Based Simulation 3, Passau (2002)"},{"key":"67_CR46","unstructured":"Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. OMG Document ptc\/02-03-02 (2002)"},{"key":"67_CR47","unstructured":"Object Management Group. UML for System Engineering Request for Proposal, ad\/03-03-41 (2003)"},{"key":"67_CR48","unstructured":"Object Management Group. UML 2.0 Superstructure Specification. (2004)"},{"key":"67_CR49","volume-title":"Modern Control Engineering","author":"K. Ogata","year":"2002","unstructured":"Ogata, K.: Modern Control Engineering. Prentice Hall, Englewood cliff (2002)"},{"key":"67_CR50","unstructured":"Parunak, H.V.D., Odell, J. Representing social structures in UML. In: M\u00fcller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the 5th International Conference on Autonomous Agents, Montreal, pp. 100\u2013101, ACM Press, New York"},{"key":"67_CR51","doi-asserted-by":"crossref","unstructured":"Poggi, A., Rimassa, G., Turci, P., Odell, J., Mouratidis, H., Manson, G.: Modeling deployment and mobility issues in multiagent systems using AUML. In: Agent-Oriented Software Engineering IV, 4th International Workshop, AOSE 2003, Melbourne, Revised Papers. LNCS, vol. 2935, pp. 69\u201384. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-24620-6_5"},{"key":"67_CR52","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. Wiley, London (1994)"},{"key":"67_CR53","doi-asserted-by":"crossref","unstructured":"Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems. Technical report, ObjecTime Limited (1998)","DOI":"10.1007\/BFb0057795"},{"key":"67_CR54","unstructured":"Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2001)"},{"key":"67_CR55","unstructured":"Stauner, T., Pretschner, A., P\u00e9ter, I.: Approaching a discrete- continuous UML: tool support and formalization. In: Proceedings of the UML\u20192001 workshop on Practical UML-Based Rigorous Development Methods\u2014Countering or Integrating the eXtremists, Toronto, pp. 242\u2013257 (2001)"},{"key":"67_CR56","volume-title":"Safety-Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)"},{"key":"67_CR57","unstructured":"SysML Partners. Systems Modeling Language: SysML (2005)"},{"issue":"5","key":"67_CR58","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1016\/S0306-4379(02)00027-3","volume":"28","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: The agent-object-relationship metamodel: towards a unified view of state and behavior. Info. Syst. 28(5), 475\u2013504 (2003)","journal-title":"Info. Syst."},{"key":"67_CR59","doi-asserted-by":"crossref","unstructured":"Wieting, R.: Hybrid high-level nets. In: Proceedings of the 1996 Winter Simulation Conference, Coronado, pp. 848\u2013855 (1996)","DOI":"10.1145\/256562.256828"},{"key":"67_CR60","volume-title":"An Introduction to Multiagent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. Wiley, Chichester (2002)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-008-0067-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-008-0067-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-008-0067-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T04:00:17Z","timestamp":1684209617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-008-0067-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,29]]},"references-count":60,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["67"],"URL":"https:\/\/doi.org\/10.1007\/s10009-008-0067-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,1,29]]}}}