{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:14:10Z","timestamp":1725804850820},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662444702"},{"type":"electronic","value":"9783662444719"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44471-9_16","type":"book-chapter","created":{"date-parts":[[2014,9,9]],"date-time":"2014-09-09T07:10:19Z","timestamp":1410246619000},"page":"367-407","source":"Crossref","is-referenced-by-count":3,"title":["Event-Based Modularization of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Somayeh","family":"Malakuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Aksit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logics and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A.: On the Development of Reactive Systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, pp. 477\u2013498. Springer, New York (1985)"},{"key":"16_CR2","unstructured":"G\u00fcle\u015fir, G.: Evolvable Behavior Specifications Using Context-Sensitive Wildcards. PhD thesis, University of Twente, Enschede (2008)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Salvaneschi, G., Mezini, M.: Reactive Behavior in Object-Oriented Applications: an Analysis and a Research Roadmap. In: AOSD 2013, pp. 37\u201348. ACM (2013)","DOI":"10.1145\/2451436.2451442"},{"key":"16_CR4","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional (1994)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R.: Documenting Software Architectures: Views and Beyond. Addison-Wesley Professional (2002)","DOI":"10.21236\/ADA399792"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Basten, T., Hamberg, R., Reckers, F., Verriet, J.: Model-Based Design of Adaptive Embedded Systems. Springer (2013)","DOI":"10.1007\/978-1-4614-4821-1"},{"issue":"4","key":"16_CR7","first-page":"401","volume":"21","author":"F. Boussinot","year":"1991","unstructured":"Boussinot, F.: Reactive C: An Extension of C to Program Reactive Systems. Software: Practice and Experience\u00a021(4), 401\u2013428 (1991)","journal-title":"Software: Practice and Experience"},{"key":"16_CR8","unstructured":"Malakuti, S.: Event Composition Model: Achieving Naturalness in Runtime Enforcement. PhD thesis, University of Twente (2011)"},{"issue":"12","key":"16_CR9","doi-asserted-by":"publisher","first-page":"1432","DOI":"10.1016\/j.infsof.2012.07.005","volume":"54","author":"A. Roo de","year":"2012","unstructured":"de Roo, A., S\u00f6zer, H., Aksit, M.: Verification and Analysis of Domain-Specific Models of Physical Characteristics in Embedded Control Software. Information and Software Technology\u00a054(12), 1432\u20131453 (2012)","journal-title":"Information and Software Technology"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-55099-7_2","volume-title":"Transactions on Aspect-Oriented Software Development XI","author":"S. Malakuti","year":"2014","unstructured":"Malakuti, S., Ak\u015fit, M.: Event Modules: Modularizing Domain-Specific Crosscutting RV Concerns. In: Chiba, S., Tanter, \u00c9., Bodden, E., Maoz, S., Kienzle, J. (eds.) Transactions on AOSD XI. LNCS, vol.\u00a08400, pp. 27\u201369. Springer, Heidelberg (2014)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An Overview of AspectJ. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive Software: Landscape and Research Challenges. ACM Trans. Auton.\u00a04(2), 14:1\u201314:42 (2009)","DOI":"10.1145\/1516533.1516538"},{"issue":"12","key":"16_CR13","doi-asserted-by":"publisher","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 Transactions on Software Engineering\u00a030(12), 859\u2013872 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Koob, G.M., Lau, C.G.: Foundations of Dependable Computing: Paradigms for Dependable Applications. Springer (1994)","DOI":"10.1007\/b102255"},{"key":"16_CR15","unstructured":"Sozer, H.: Architecting Fault-Tolerant Software Systems. PhD thesis, University of Twente (2009)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Ingalls, D.H.H.: A Simple Technique for Handling Multiple Polymorphism. In: OOPLSA 1986, pp. 347\u2013349. ACM (1986)","DOI":"10.1145\/960112.28732"},{"key":"16_CR17","unstructured":"Compose, \n                  \n                    http:\/\/composestar.sourceforge.net\/"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Pavel, C.A., Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Moor, O.D., Sereni, D., Sittampalam, G., Tibble, J.: Adding Trace Matching with Free Variables to AspectJ. In: OOPSLA 2005, pp. 345\u2013364 (2005)","DOI":"10.1145\/1103845.1094839"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/976270.976275","volume-title":"Proceedings of the 3rd International Conference on Aspect-oriented Software Development","author":"K. Sakurai","year":"2004","unstructured":"Sakurai, K., Masuhara, H., Ubayashi, N., Matsuura, S., Komiya, S.: Association Aspects. In: Proceedings of the 3rd International Conference on Aspect-oriented Software Development, pp. 16\u201325. ACM, Lancaster (2004)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Harbulot, B., Gurd, J.R.: A Join Point for Loops in AspectJ. In: AOSD, pp. 63\u201374. ACM (2006)","DOI":"10.1145\/1119655.1119666"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Bockisch, C., Malakuti, S., Katz, S., Aksit, M.: Making Aspects Natural: Events and Composition. In: AOSD 2011, pp. 285\u2013299. ACM (2011)","DOI":"10.1145\/1960275.1960312"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Steimann, F., Pawlitzki, T., Apel, S., K\u00e4stner, C.: Types and Modularity for Implicit Invocation with Implicit Announcement. ACM Transactions on Software Engineering and Methodology\u00a020, 1:1\u20131:43 (2010)","DOI":"10.1145\/1767751.1767752"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Malakuti, S., Aksit, M.: Evolution of Composition Filters to Event Composition. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC 2012, pp. 1850\u20131857. ACM (2012)","DOI":"10.1145\/2245276.2232080"},{"key":"16_CR24","unstructured":"AspectC, \n                  \n                    http:\/\/www.cs.ubc.ca\/labs\/spl\/projects\/aspectc.html"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11531142_10","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"K. Ostermann","year":"2005","unstructured":"Ostermann, K., Mezini, M., Bockisch, C.: Expressive Pointcuts for Increased Modularity. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 214\u2013240. Springer, Heidelberg (2005)"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/j.scico.2009.01.003","volume":"74","author":"K. Hoffman","year":"2009","unstructured":"Hoffman, K., Eugster, P.: Cooperative Aspect-Oriented Programming. Sci. Comput. Program.\u00a074, 333\u2013354 (2009)","journal-title":"Sci. Comput. Program."},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Runtime Verification","year":"2012","unstructured":"Khurshid, S., Sen, K. (eds.): RV 2011. LNCS, vol.\u00a07186. Springer, Heidelberg (2012)"},{"key":"16_CR28","first-page":"31","volume-title":"ISSRE 2009","author":"S. Malakuti","year":"2009","unstructured":"Malakuti, S., Bockisch, C., Aksit, M.: Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. In: ISSRE 2009, pp. 31\u201340. IEEE Press, Piscataway (2009)"},{"key":"16_CR29","unstructured":"Microsoft Corporation. C# language specification, \n                  \n                    http:\/\/msdn.microsoft.com\/en-us\/vcsharp\/aa336809.aspx"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Gasiunas, V., Satabin, L., Mezini, M., N\u00fa\u00f1ez, A., Noy\u00e9, J.: EScala: Modular Event-Driven Object Interactions in Scala. In: AOSD 2011, pp. 227\u2013240. ACM (2011)","DOI":"10.1145\/1960275.1960303"},{"key":"16_CR31","unstructured":"Odersky, M.: Programming in Scala: A Comprehensive Step-by-Step Guide. Artima Inc. (2008)"},{"key":"16_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-70592-5_8","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"H. Rajan","year":"2008","unstructured":"Rajan, H., Leavens, G.T.: Ptolemy: A Language with Quantified, Typed Events. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 155\u2013179. Springer, Heidelberg (2008)"},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: MOP: An Efficient and Generic Runtime Verification Framework. In: Object-Oriented Programming, Systems, Languages and Applications(OOPSLA 2007), pp. 569\u2013588. ACM Press (2007)","DOI":"10.1145\/1297105.1297069"},{"key":"16_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-68524-1_3","volume-title":"Testing of Software and Communicating Systems","author":"K. Havelund","year":"2008","unstructured":"Havelund, K.: Runtime Verification of C Programs. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 7\u201322. Springer, Heidelberg (2008)"},{"key":"16_CR35","unstructured":"Java-JNI, \n                  \n                    http:\/\/download.oracle.com\/javase\/1.5.0\/docs\/guide\/jni\/spec\/jniTOC.html"},{"key":"16_CR36","unstructured":"Malakuti, S., Aksit, M., Bockisch, C.: Runtime Verification in Distributed Computing. Journal of Convergence: An International Journal of Future Technology Research Association International\u00a02(1) (2011)"},{"key":"16_CR37","unstructured":"de Roo, A., Hendriks, M., Havinga, W., Durr, P., Bergmans, L.: Compose: A Language- and Platform-Independent Aspect Compiler for Composition Filters. In: International Workshop on Academic Software Development Tools and Techniques (2008)"},{"key":"16_CR38","unstructured":"Nagy, I.: On the Design of Aspect-Oriented Composition Models for Software Evolution. Phd thesis, IPA (May 2006), ISBN: 90-365-2368-0"},{"key":"16_CR39","first-page":"13","volume-title":"VariComp 2012","author":"S. Malakuti","year":"2012","unstructured":"Malakuti, S., te Brinke, S., Bergmans, L., Bockisch, C.: Towards Modular Resource-Aware Applications. In: VariComp 2012, pp. 13\u201317. ACM, New York (2012)"}],"container-title":["Lecture Notes in Computer Science","Concurrent Objects and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44471-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T16:51:08Z","timestamp":1558975868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44471-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662444702","9783662444719"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44471-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}