{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:04Z","timestamp":1725518944928},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_16","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T21:46:10Z","timestamp":1222033570000},"page":"219-233","source":"Crossref","is-referenced-by-count":2,"title":["Behavioral Modelling and Composition of Object Slices Using Event Observation"],"prefix":"10.1007","author":[{"given":"Iulian","family":"Ober","sequence":"first","affiliation":[]},{"given":"Bernard","family":"Coulette","sequence":"additional","affiliation":[]},{"given":"Younes","family":"Lakhrissi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Proceedings of OOPSLA","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Proceedings of OOPSLA. ACM, New York (2005)"},{"issue":"10","key":"16_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/383845.383857","volume":"44","author":"L. Bergmans","year":"2001","unstructured":"Bergmans, L., Aksit, M.: Composing crosscutting concerns using composition filters. Commun. ACM\u00a044(10), 51\u201357 (2001)","journal-title":"Commun. ACM"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, Il., Ober, Iu., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 237\u2013267. Springer, Heidelberg (2004)"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Cottenier, T., van den Berg, A., Elrad, T.: Stateful aspects: The case for aspect-oriented modeling. In: Workshop on AOM at the 6th International Conference on AOSD, Vancouver (2007)","DOI":"10.1145\/1229375.1229377"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/1173706.1173718","volume-title":"GPCE Proceedings","author":"R. Douence","year":"2006","unstructured":"Douence, R., Le Botlan, D., Noy\u00e9, J., S\u00fcdholt, M.: Concurrent aspects. In: GPCE Proceedings, pp. 79\u201388. ACM, New York (2006)"},{"issue":"2","key":"16_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10009-005-0213-x","volume":"8","author":"S. Graf","year":"2006","unstructured":"Graf, S., Ober, Il., Ober, Iu.: A real-time profile for UML. STTT\u00a08(2), 113\u2013127 (2006)","journal-title":"STTT"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-540-27863-4_19","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"D. Harel","year":"2004","unstructured":"Harel, D., Kugler, H.: The Rhapsody semantics of statecharts (or, on the executable core of the UML). In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 325\u2013354. Springer, Heidelberg (2004)"},{"issue":"10","key":"16_CR8","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C.A.R. Hoare","year":"1974","unstructured":"Hoare, C.A.R.: Monitors: An operating system structuring concept. Commun. ACM\u00a017(10), 549\u2013557 (1974)","journal-title":"Commun. ACM"},{"key":"16_CR9","series-title":"Object Technology Series","volume-title":"Aspect-Oriented Software Development with Use Cases","author":"I. Jacobson","year":"2005","unstructured":"Jacobson, I., Ng, P.-W.: Aspect-Oriented Software Development with Use Cases. Object Technology Series. Addison-Wesley, Reading (2005)"},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1109\/32.4654","volume":"14","author":"C. Jard","year":"1988","unstructured":"Jard, C., Monin, J.-F., Groz, R.: Development of V\u00e9da, a prototyping tool for distributed algorithms. IEEE Trans. Software Eng.\u00a014(3), 339\u2013352 (1988)","journal-title":"IEEE Trans. Software Eng."},{"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: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"16_CR12","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":"16_CR13","unstructured":"Lakhnech, Y., Bozga, M.: IF-2.0 common language operational semantics. Technical report, VERIMAG (September 2002)"},{"key":"16_CR14","volume-title":"Solaris(TM) Performance and Tools: DTrace and MDB Techniques for Solaris 10","author":"R. McDougall","year":"2006","unstructured":"McDougall, R., Mauro, J., Gregg, B.: Solaris(TM) Performance and Tools: DTrace and MDB Techniques for Solaris 10. Prentice Hall, Englewood Cliffs (2006)"},{"key":"16_CR15","unstructured":"Nassar, M., Coulette, B., Cr\u00e9gut, X., Ebersold, S., Kriouile, A.: Towards a view based unified modeling language. In: ICEIS (3), pp. 257\u2013265 (2003)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1119655.1119665","volume-title":"AOSD","author":"L.D.B. Navarro","year":"2006","unstructured":"Navarro, L.D.B., S\u00fcdholt, M., Vanderperren, W., De Fraine, B., Suv\u00e9e, D.: Explicitly distributed AOP using AWED. In: AOSD, pp. 51\u201362. ACM, New York (2006)"},{"issue":"2","key":"16_CR17","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-005-0205-x","volume":"8","author":"I.. Ober","year":"2006","unstructured":"Ober, Iu., Graf, S., Ober, Il.: Validating timed UML models by simulation and verification. STTT\u00a08(2), 128\u2013145 (2006)","journal-title":"STTT"},{"key":"16_CR18","unstructured":"Object Management Group. Unified Modeling Language, http:\/\/www.omg.org\/spec\/UML\/"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program"},{"key":"16_CR20","first-page":"159","volume-title":"SIGSOFT FSE Proceedings","author":"R.J. Walker","year":"2004","unstructured":"Walker, R.J., Viggers, K.: Implementing protocols via declarative event patterns. In: SIGSOFT FSE Proceedings, pp. 159\u2013169. ACM, New York (2004)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-75209-7_35","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Whittle","year":"2007","unstructured":"Whittle, J., Moreira, A., Ara\u00fajo, J., Jayaraman, P.K., Elkhodary, A.M., Rabbi, R.: An expressive aspect composition language for UML state diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 514\u2013528. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:50:52Z","timestamp":1619509852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}