{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T23:47:21Z","timestamp":1725925641609},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319700182"},{"type":"electronic","value":"9783319700199"}],"license":[{"start":{"date-parts":[[2017,12,2]],"date-time":"2017-12-02T00:00:00Z","timestamp":1512172800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-70019-9_23","type":"book-chapter","created":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T15:16:36Z","timestamp":1512141396000},"page":"281-289","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications"],"prefix":"10.1007","author":[{"given":"Hong Anh","family":"Le","sequence":"first","affiliation":[]},{"given":"Ninh Thuan","family":"Truong","sequence":"additional","affiliation":[]},{"given":"Aziz","family":"Nanthaamornphong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,2]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York, NY, USA (2010)","edition":"1"},{"key":"23_CR2","unstructured":"Douence, R., S\u00fcdholt, M.: A model and a tool for event-based aspect-oriented programming (EAOP). Technical report TR 02\/11\/INFO, \u00c9cole des Mines de Nantes (2002)"},{"key":"23_CR3","unstructured":"Event-b and the Rodin platform. \nhttp:\/\/www.event-b.org\n\n (2012)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Guan, L., Li, X., Hu, H.: A petri net-based approach for supporting aspect-oriented modeling. In: Theoretical Aspects of Software Engineeering, 2008, pp. 83\u201390 (2008)","DOI":"10.1109\/TASE.2008.32"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Holzer, A., Ziarek, L., Jayaram, K., Eugster, P.: Putting events in context: aspects for event-based distributed programming. In: Proceedings of the Tenth International Conference on Aspect-oriented Software Development, AOSD \u201911, pp. 241\u2013252. ACM, New York, NY, USA (2011)","DOI":"10.1145\/1960275.1960304"},{"key":"23_CR6","unstructured":"Ligot, O., Bendisposto, J., Leuschel, M.: Debugging event-b models using the prob disprover plug-in. In: Proceedings AFADL\u201907, June 2007"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Thuan, T.N., Ha, N.V.: Using b to verify the weaving of aspects. In: 14th Asia-Pacific Software Engineering Conference, APSEC 2007, pp. 199\u2013205, Dec 2007","DOI":"10.1109\/ASPEC.2007.61"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Tamai, T.: Aspect-oriented programming with model checking. In: Proceedings of the 1st International Conference On Aspect-oriented software development, AOSD \u201902, pp. 148\u2013154. ACM, New York, NY, USA (2002)","DOI":"10.1145\/508386.508405"},{"issue":"5","key":"23_CR9","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1007\/s11390-009-9269-5","volume":"24","author":"D-X Xu","year":"2009","unstructured":"Xu, D.-X., El-Ariss, O., Xu, W.-F., Wang, L.-Z.: Aspect-oriented modeling and verification with finite state machines. J. Comput. Sci. Technol. 24(5), 949\u2013961 (2009)","journal-title":"J. Comput. Sci. Technol."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Zhang, J., Chen, Y., Liu, G.: Modeling aspect-oriented programming with UML profile. In: First International Workshop on Education Technology and Computer Science, 2009. ETCS \u201909. vol. 2, pp. 242\u2013245, March 2009","DOI":"10.1109\/ETCS.2009.314"}],"container-title":["Advances in Intelligent Systems and Computing","Recent Advances and Future Prospects in Knowledge, Information and Creativity Support Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70019-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T15:26:21Z","timestamp":1512141981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70019-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,2]]},"ISBN":["9783319700182","9783319700199"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70019-9_23","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,12,2]]}}}