{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T02:10:02Z","timestamp":1744251002478,"version":"3.40.4"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,10,7]],"date-time":"2012-10-07T00:00:00Z","timestamp":1349568000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10270-012-0283-7","type":"journal-article","created":{"date-parts":[[2012,10,6]],"date-time":"2012-10-06T03:57:12Z","timestamp":1349495832000},"page":"55-81","source":"Crossref","is-referenced-by-count":4,"title":["Composing domain-specific physical models with general-purpose software modules in embedded control software"],"prefix":"10.1007","volume":"13","author":[{"given":"Arjan","family":"de Roo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"S\u00f6zer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Ak\u015fit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,7]]},"reference":[{"key":"283_CR1","unstructured":"The 20-sim tooling. http:\/\/www.20sim.com . Accessed April 2012"},{"key":"283_CR2","unstructured":"Web services business process execution language version 2.0. OASIS Standard (2007)"},{"key":"283_CR3","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.: Spectrum-based multiple fault localization. In: 24th IEEE\/ACM International Conference on Automated Software Engineering, 2009. ASE \u201909, pp. 88\u201399. (2009). doi: 10.1109\/ASE.2009.25","DOI":"10.1109\/ASE.2009.25"},{"key":"283_CR4","unstructured":"Ak\u015fit, M., Bergmans, L., Vural, S.: An object-oriented language-database integration model: the composition-filters approach. In: Madsen, O.L. (ed.) Proceedings of the 7th European Conference on Object-Oriented Programming, pp. 372\u2013395 (1992). http:\/\/trese.cs.utwente.nl\/publications\/paperinfo\/LanguageDbase.pi.top.htm"},{"key":"283_CR5","doi-asserted-by":"crossref","unstructured":"Ak\u015fit, M., Tripathi, A.: Data abstraction mechanisms in sina\/st. In: Proceedings of the Conference on Object-Oriented Systems, Languages and Applications. ACM Sigplan Notices, vol. 23, pp. 267\u2013275 (1988)","DOI":"10.1145\/62084.62107"},{"key":"283_CR6","doi-asserted-by":"crossref","unstructured":"Aksit, M., Wakita, K., Bosch, J., Bergmans, L., Yonezawa, A.: Abstracting object interactions using composition filters. In: Proceedings of the Workshop on Object-Based Distributed Programming. pp. 152\u2013184. Springer, London (1994)","DOI":"10.1007\/BFb0017540"},{"key":"283_CR7","doi-asserted-by":"crossref","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. In: OOPSLA \u201905: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. pp. 345\u2013364. ACM, New York, NY, USA (2005). doi: 10.1145\/1094811.1094839","DOI":"10.1145\/1094811.1094839"},{"key":"283_CR8","unstructured":"Bapty, T., Neema, S., Scott, J., Sztipanovits, J., Asaad, S.: Model-integrated tools for the design of dynamically reconfigurable systems. Tech. Rep. ISIS-99-01, Institute for Software Integrated Systems, Vanderbilt University (1999)"},{"key":"283_CR9","doi-asserted-by":"crossref","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI. Lecture Notes in Computer Science, pp. 44\u201357. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"283_CR10","doi-asserted-by":"crossref","unstructured":"Berbers, Y., Rigole, P., Vandewoude, Y., Baelen, S.V.: CoConES: CoConES: an approach for components and contracts in embedded systems. Lecture Notes in Computer Science, vol. 3778, pp. 209\u2013231 (2005)","DOI":"10.1007\/11591962_11"},{"key":"283_CR11","unstructured":"van den Berg, K., Conejero, J.: A conceptual formalization of crosscutting in aosd. In: Proceedings of the Desarrollo de Software Orientado a Aspectos (DSOA2005). Granada, Spain (2005)"},{"key":"283_CR12","unstructured":"Bergmans, L., Ak\u015fit, M.: Principles and design rationale of composition filters. In: Aspect-Oriented Software Development, pp. 63\u201395. Addison-Wesley, Boston (2005)"},{"key":"283_CR13","volume-title":"Modern Control Systems Analysis and Design Using MATLAB and SIMULINK","author":"RH Bishop","year":"1996","unstructured":"Bishop, R.H.: Modern Control Systems Analysis and Design Using MATLAB and SIMULINK. Addison Wesley, Boston (1996)"},{"key":"283_CR14","unstructured":"Bockisch, C.M.: An efficient and flexible implementation of aspect-oriented languages. Ph.D. thesis, Technische Universit\u00e4t Darmstadt, Germany (2008)"},{"key":"283_CR15","unstructured":"Bouraqadi, N., Ledoux, T.: Supporting AOP using reflection. In: Aspect-Oriented Software Development, pp. 261\u2013282. Addison-Wesley, Boston (2005)"},{"issue":"3","key":"283_CR16","first-page":"22","volume":"38","author":"J Broenink","year":"1997","unstructured":"Broenink, J.: Modelling, simulation and analysis with 20-sim. Journal A 38(3), 22\u201325 (1997)","journal-title":"Journal A"},{"issue":"4","key":"283_CR17","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"F Brooks","year":"1987","unstructured":"Brooks, F.: No silver bullet essence and accidents of software engineering. Computer 20(4), 10\u201319 (1987). doi: 10.1109\/MC.1987.1663532","journal-title":"Computer"},{"key":"283_CR18","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: Mop: an efficient and generic runtime verification framework. In: OOPSLA \u201907: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications. pp. 569\u2013588. ACM, New York, NY, USA (2007). doi: 10.1145\/1297027.1297069","DOI":"10.1145\/1297027.1297069"},{"issue":"12","key":"283_CR19","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N Delgado","year":"2004","unstructured":"Delgado, N., Gates, A., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng. 30(12), 859\u2013872 (2004). doi: 10.1109\/TSE.2004.91","journal-title":"IEEE Trans. Softw. Eng."},{"key":"283_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1002\/(SICI)1096-908X(199803\/04)10:2<75::AID-SMR168>3.0.CO;2-5","volume":"10","author":"A Deursen van","year":"1998","unstructured":"van Deursen, A., Klint, P.: Little languages: little maintenance. J. Softw. Maint. 10, 75\u201392 (1998)","journal-title":"J. Softw. Maint."},{"key":"283_CR21","unstructured":"van Dijk, W., Mordhorst, J.: CFIST. Composition Filters in Smalltalk. Graduation Report, HIO Enschede, The Netherlands (1995)"},{"issue":"1","key":"283_CR22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity\u2014the ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003). doi: 10.1109\/JPROC.2002.805829","journal-title":"Proc. IEEE"},{"key":"283_CR23","unstructured":"Feldman, A., Provan, G., van Gemund, A.: The Lydia approach to combinational model-based diagnosis. In: Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX\u201909), Stockholm Sweden. pp. 403\u2013408. Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan slund (2009)"},{"key":"283_CR24","unstructured":"Filman, R.E., Elrad, T., Clarke, S., Ak\u015fit, M. (eds.): Aspect-Oriented Software Development. Addison-Wesley, Boston (2005)"},{"issue":"1\u20133","key":"283_CR25","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"KD Forbus","year":"1984","unstructured":"Forbus, K.D.: Qualitative process theory. Artif. Intell. 24(1\u20133), 85\u2013168 (1984). doi: 10.1016\/0004-3702(84)90038-9","journal-title":"Artif. Intell."},{"key":"283_CR26","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6423(86)90018-3","volume":"6","author":"N Francez","year":"1986","unstructured":"Francez, N., Hailpern, B., Taubenfeld, G.: Script: a communication abstraction mechanism and its verification. Sci. Comput. Program. 6, 35\u201388 (1986)","journal-title":"Sci. Comput. Program."},{"key":"283_CR27","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Boston (1995)"},{"key":"283_CR28","unstructured":"Glandrup, M.: Extending C++ using the concepts of composition filters. Master\u2019s thesis, University of Twente (1995). http:\/\/trese.cs.utwente.nl\/publications\/paperinfo\/glandrup.thesis.pi.top.htm"},{"key":"283_CR29","doi-asserted-by":"crossref","unstructured":"Gray, J., Bapty, T., Neema, S., Schmidt, D.C., Gokhale, A., Natarajan, B.: An approach for supporting aspect-oriented domain modeling. In: Proceedings of the 2nd international Conference on Generative Programming and Component Engineering, GPCE \u201903, pp. 151\u2013168. Springer, New York (2003)","DOI":"10.1007\/978-3-540-39815-8_10"},{"issue":"10","key":"283_CR30","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1145\/97946.97967","volume":"25","author":"R Helm","year":"1990","unstructured":"Helm, R., Holland, I.M., Gangopadhyay, D.: Contracts: specifying behavioral compositions in object-oriented systems. ACM SIGPLAN Notices 25(10), 169\u2013180 (1990)","journal-title":"ACM SIGPLAN Notices"},{"key":"283_CR31","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Kirsch, C., Sanvido, M., Pree, W.: From control models to real-time code using giotto. Control Systems, IEEE 23(1), 50\u201364 (2003). doi: 10.1109\/MCS.2003.1172829","DOI":"10.1109\/MCS.2003.1172829"},{"key":"283_CR32","doi-asserted-by":"crossref","unstructured":"Holland, I.M.: Specifying reusable components using contracts. In: Proceedings of the European Conference on Object-Oriented Programming. pp. 287\u2013308. Springer-Verlag, London, UK (1992)","DOI":"10.1007\/BFb0053043"},{"key":"283_CR33","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1405.001.0001","volume-title":"The Art of the Metaobject Protocol","author":"G Kiczales","year":"1991","unstructured":"Kiczales, G., Rivieres, J.D.: The Art of the Metaobject Protocol. MIT Press, Cambridge (1991)"},{"key":"283_CR34","doi-asserted-by":"crossref","unstructured":"Kieburtz, R.B., McKinney, L., Bell, J.M., Hook, J., Kotov, A., Lewis, J., Oliva, D.P., Sheard, T., Smith, I., Walton, L.: A software engineering experiment in software component generation. In: Proceedings of the 18th International Conference on Software Engineering, ICSE \u201996, pp. 542\u2013552. IEEE Computer Society, Washington, DC, USA (1996)","DOI":"10.1109\/ICSE.1996.493448"},{"key":"283_CR35","unstructured":"Kitchin, D., Quark, A., Cook, W.R., Misra, J.: The Orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) Proceedings of FMOODS\/FORTE 2009. Lecture Notes in Computer Science, vol. 5522, pp. 1\u201325. Springer, Berlin (2009). doi: 10.1007\/978-3-642-02138-1-1"},{"key":"283_CR36","doi-asserted-by":"crossref","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1987).doi: 10.1016\/0004-3702(87)90063-4","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"283_CR37","unstructured":"Kleijn, C.: 20-sim 4.1 Reference Manual (2009)"},{"key":"283_CR38","doi-asserted-by":"crossref","unstructured":"Koopman, P.: Embedded system design issues (the rest of the story). In: Proceedings of the 1996 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1996. ICCD \u201996, pp. 310\u2013317 (1996). doi: 10.1109\/ICCD.1996.563572","DOI":"10.1109\/ICCD.1996.563572"},{"issue":"12","key":"283_CR39","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/38807.38821","volume":"22","author":"P Maes","year":"1987","unstructured":"Maes, P.: Concepts and experiments in computational reflection. ACM SIGPLAN Notices 22(12), 147\u2013155 (1987)","journal-title":"ACM SIGPLAN Notices"},{"key":"283_CR40","doi-asserted-by":"crossref","unstructured":"Malakuti Khah Olun Abadi, S., Bockisch, C.M., Ak\u015fit, M.: Applying the composition filter model for runtime verification of multiple-language software. In: The 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009, Mysore, India, pp. 31\u201340. IEEE Computer Society Press (2009)","DOI":"10.1109\/ISSRE.2009.12"},{"key":"283_CR41","doi-asserted-by":"crossref","unstructured":"Markovski, J., van Beek, D., Theunissen, R., Jacobs, K., Rooda, J.: A state-based framework for supervisory control synthesis and verification. In: 49th IEEE Conference on Decision and Control (CDC), 2010. pp. 3481\u20133486 (2010). doi: 10.1109\/CDC.2010.5717095","DOI":"10.1109\/CDC.2010.5717095"},{"key":"283_CR42","unstructured":"Octopus project, ESI (2010). http:\/\/www.esi.nl\/projects\/octopus"},{"key":"283_CR43","doi-asserted-by":"crossref","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Advances in Computers. pp. 329\u2013400. Academic Press, London (1998).","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"283_CR44","doi-asserted-by":"crossref","unstructured":"Passerone, R., Damm, W., Ben Hafaiedh, I., Graf, S., Ferrari, A., Mangeruca, L., Benveniste, A., Josko, B., Peikenkamp, T., Cancila, D., Cuccuru, A., Gerard, S., Terrier, F., Sangiovanni-Vincentelli, A.: Metamodels in Europe: languages, tools, and applications. IEEE Des. Test Comput. 26(3), 38\u201353 (2009)","DOI":"10.1109\/MDT.2009.64"},{"key":"283_CR45","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987). doi: 10.1016\/0004-3702(87)90062-2","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"283_CR46","unstructured":"de Roo, A.: Towards more robust advice: Message flow analysis for composition filters and its application. Master\u2019s thesis (2007). http:\/\/doc.utwente.nl\/67050\/"},{"key":"283_CR47","unstructured":"de Roo, A.: Managing software complexity of adaptive systems. Ph.D. thesis, Enschede (2012). http:\/\/doc.utwente.nl\/79570\/"},{"key":"283_CR48","unstructured":"de Roo, A., Hendriks, M., Havinga, W., Durr, P., Bergmans, L.: Compose*: a language- and platform-independent aspect compiler for composition filters. In: First International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008, Paphos, Cyprus (2008)"},{"key":"283_CR49","doi-asserted-by":"crossref","unstructured":"de Roo, A., S\u00f6zer, H., Ak\u015fit, M.: An architectural style for optimizing system qualities in adaptive embedded systems using multi-objective optimization. In: Joint Working IEEE\/IFIP Conference on Software Architecture, 2009 and European Conference on Software Architecture, WICSA\/ECSA 2009, pp. 349\u2013352. Cambridge, UK (2009)","DOI":"10.1109\/WICSA.2009.5290661"},{"key":"283_CR50","doi-asserted-by":"crossref","unstructured":"de Roo, A., S\u00f6zer, H., Ak\u015fit, M.: Runtime verification of domain-specific models of physical characteristics in control software. In: Proceedings of the 5th IEEE International Conference on Secure Software Integration and Reliability Improvement, Korea (2011)","DOI":"10.1109\/SSIRI.2011.14"},{"key":"283_CR51","doi-asserted-by":"crossref","unstructured":"Theunissen, R., Schiffelers, R., van Beek, D., Rooda, J.: Supervisory control synthesis for a patient support system. In: Proceedings of the European Control Conference (2009)","DOI":"10.23919\/ECC.2009.7075134"},{"key":"283_CR52","unstructured":"University of Twente: Compose* Annotated Reference Manual. http:\/\/composestar.sourceforge.net\/content\/annotated-reference-manual (2012)"},{"key":"283_CR53","unstructured":"University of Twente: Compose*. http:\/\/composestar.sourceforge.net . Accessed April 2012"},{"key":"283_CR54","unstructured":"VDC Research: The embedded software and tools market intelligence service (2010)"},{"key":"283_CR55","unstructured":"Wichman, J.C.: The development of a preprocessor to facilitate composition filters in the Java language. Master\u2019s thesis, University of Twente (1999). http:\/\/trese.cs.utwente.nl\/publications\/paperinfo\/wichman.thesis.pi.top.htm"},{"key":"283_CR56","doi-asserted-by":"crossref","unstructured":"Yoshioka, M., Umeda, Y., Takeda, H., Shimomura, Y., Nomaguchi, Y., Tomiyama, T.: Physical concept ontology for the knowledge intensive engineering framework. Advanced Engineering Informatics 18(2), 95\u2013113 (2004). doi: 10.1016\/j.aei.2004.09.004","DOI":"10.1016\/j.aei.2004.09.004"},{"key":"283_CR57","doi-asserted-by":"crossref","unstructured":"Zoeteweij, P., Pietersma, J., Abreu, R., Feldman, A., van Gemund, A.: Automated fault diagnosis in embedded systems. In: Second International Conference on Secure System Integration and Reliability Improvement, 2008. SSIRI \u201908, pp. 103\u2013110 (2008). doi: 10.1109\/SSIRI.2008.48","DOI":"10.1109\/SSIRI.2008.48"}],"container-title":["Software &amp; Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0283-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0283-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0283-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T01:50:53Z","timestamp":1744249853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0283-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,7]]},"references-count":57,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["283"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0283-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2012,10,7]]}}}