{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:29:22Z","timestamp":1725791362126},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642550980"},{"type":"electronic","value":"9783642550997"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-55099-7_2","type":"book-chapter","created":{"date-parts":[[2014,4,4]],"date-time":"2014-04-04T01:07:59Z","timestamp":1396573679000},"page":"27-69","source":"Crossref","is-referenced-by-count":6,"title":["Event Modules"],"prefix":"10.1007","author":[{"given":"Somayeh","family":"Malakuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Ak\u015fit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","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":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.M., Irwin, J.: Aspect-Oriented Programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2005.02.066","volume":"144","author":"A. Easwaran","year":"2006","unstructured":"Easwaran, A., Kannan, S., Sokolsky, O.: Steering of Discrete Event Systems: Control Theory Approach. Electron. Notes Theor. Comput. Sci.\u00a0144, 21\u201339 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An Overview of the MOP Runtime Verification Framework. International Journal on Software Techniques for Technology Transfer, 249\u2013289 (2011)","DOI":"10.1007\/s10009-011-0198-6"},{"key":"2_CR5","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)"},{"issue":"2","key":"2_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)00247-6","volume":"55","author":"D. Bartetzko","year":"2001","unstructured":"Bartetzko, D., Fischer, C., Moller, M., Wehrheim, H.: Jass - Java with Assertions. Electronic Notes in Theoretical Computer Science\u00a055(2), 1\u201315 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 323\u2013330. Springer, Heidelberg (2000)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# Programming System: An Overview, pp. 49\u201369. Springer (2004)","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Rosenblum, D.S.: Towards a Method of Programming with Assertions. In: Proceedings of the 14th International Conference on Software Engineering, ICSE 1992, Melbourne, Australia, pp. 92\u2013104. ACM (1992)","DOI":"10.1145\/143062.143098"},{"key":"2_CR10","first-page":"31","volume-title":"Proceedings of the 20th IEEE International Conference on Software Reliability Engineering, ISSRE 2009","author":"S. Malakuti","year":"2009","unstructured":"Malakuti, S., Bockisch, C., Ak\u015fit, M.: Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. In: Proceedings of the 20th IEEE International Conference on Software Reliability Engineering, ISSRE 2009, pp. 31\u201340. IEEE Press, Piscataway (2009)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1103845.1094840","volume":"40","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, B., Lam, M.S.: Finding Application Errors and Security Flaws Using PQL: A Program Query Language. SIGPLAN Not.\u00a040, 365\u2013383 (2005)","journal-title":"SIGPLAN Not."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing Expressive Runtime Security Policies. ACM Trans. Softw. Eng. Methodol. 18 (2009)","DOI":"10.1145\/1525880.1525882"},{"key":"2_CR13","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, pp. 345\u2013364 (2005)","DOI":"10.1145\/1103845.1094839"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-21437-0_7","volume-title":"FM 2011: Formal Methods","author":"H. Barringer","year":"2011","unstructured":"Barringer, H., Havelund, K.: TraceContract: A scala DSL for trace analysis. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 57\u201372. Springer, Heidelberg (2011)"},{"key":"2_CR15","unstructured":"Malakuti, S.: Event Composition Model: Achieving Naturalness in Runtime Enforcement. PhD thesis, University of Twente (2011)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Malakuti, S., Ak\u015fit, 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":"2_CR17","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the Criteria To Be Used in Decomposing Systems into Modules. Communications of the ACM\u00a015, 1053\u20131058 (1972)","journal-title":"Communications of the ACM"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Ak\u015fit, M.: Separation and Composition of Concerns. ACM Computing Surveys 28 (1996)","DOI":"10.1145\/242224.242413"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Sozer, H., Abreu, R., Ak\u015fit, M., van Gemund, A.J.: Increasing System Availability with Local Recovery Based on Fault Localization. In: International Conference on Quality Software, pp. 276\u2013281 (2010)","DOI":"10.1109\/QSIC.2010.29"},{"key":"2_CR20","unstructured":"Sozer, H.: Architecting Fault-Tolerant Software Systems. PhD thesis, University of Twente (2009)"},{"key":"2_CR21","unstructured":"Fowler, M.: Domain-Specific Languages. Addison-Wesley Professional (2010)"},{"key":"2_CR22","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":"2_CR23","unstructured":"AspectC, \n                    \n                      http:\/\/www.cs.ubc.ca\/labs\/spl\/projects\/aspectc.html"},{"issue":"1","key":"2_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1767751.1767752","volume":"20","author":"F. Steimann","year":"2010","unstructured":"Steimann, F., Pawlitzki, T., Apel, S., K\u00e4stner, C.: Types and Modularity for Implicit Invocation with Implicit Announcement. ACM Trans. Softw. Eng. Methodol. 20(1), 1:1\u20131:43 (2010)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"2_CR25","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":"2_CR26","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison Wesley (2000)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Malakuti, S., Ak\u015fit, M.: Event-Based Modularization of Reactive Systems. In: Concurrent Objects and Beyond. LNCS (2013) (to appear)","DOI":"10.1007\/978-3-662-44471-9_16"},{"key":"2_CR28","unstructured":"Riordan, M.: Designing Relational Database Systems. Microsoft Press (1999)"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit Automata: Enforcement Mechanisms for Run-Time Security Policies. International Journal of Information Security\u00a04, 2\u201316 (2005), doi:10.1007\/s10207-004-0046-8","journal-title":"International Journal of Information Security"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering for Self-Adaptive Systems","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.): Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525. Springer, Heidelberg (2009)"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-540-70592-5_9","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"W. Havinga","year":"2008","unstructured":"Havinga, W., Bergmans, L., Ak\u015fit, M.: Prototyping and Composing Aspect Languages: Using an Aspect Interpreter Framework. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 180\u2013206. Springer, Heidelberg (2008)"},{"key":"2_CR32","unstructured":"Tanter, \u00c9.: An Extensible Kernel Language for AOP. In: Proceedings of the Workshop on Open and Dynamic Aspect Languages\u00a0(ODAL) (2006)"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2161996.2162001","volume-title":"Proceedings of the 3rd International Workshop on Variability & Composition (VariComp 2012)","author":"S. Malakuti","year":"2012","unstructured":"Malakuti, S., te Brinke, S., Bergmans, L., Bockisch, C.: Towards Modular Resource-Aware Applications. In: Proceedings of the 3rd International Workshop on Variability & Composition (VariComp 2012), pp. 13\u201317. ACM, New York (2012)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Aspect-Oriented Software Development XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-55099-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:28:11Z","timestamp":1558880891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-55099-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642550980","9783642550997"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-55099-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}