{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,19]],"date-time":"2022-11-19T10:54:05Z","timestamp":1668855245678},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,3,16]],"date-time":"2011-03-16T00:00:00Z","timestamp":1300233600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10009-011-0191-0","type":"journal-article","created":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T16:43:15Z","timestamp":1301071395000},"page":"41-52","source":"Crossref","is-referenced-by-count":2,"title":["The common aspect proof environment"],"prefix":"10.1007","volume":"14","author":[{"given":"Shmuel","family":"Katz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Faitelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,16]]},"reference":[{"key":"191_CR1","unstructured":"Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhotak, J., Lhotak, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: abc: an extensible aspectj compiler. Trans. Aspect-Oriented Softw. Dev. 1, 293\u2013334 (2006). LNCS 3880"},{"key":"191_CR2","doi-asserted-by":"crossref","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. CACM 44, 51\u201357 (2001)","journal-title":"CACM"},{"key":"191_CR3","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: an OpenSource tool for symbolic model checking. In: Proceedings of International Conference on Computer-Aided Verification (CAV 2002). LNCS, vol. 2404, Copenhagen, Denmark. Springer, July 2002","DOI":"10.1007\/3-540-45657-0_29"},{"key":"191_CR4","volume-title":"Model Checking","author":"E.M. Clarke Jr","year":"1999","unstructured":"Clarke E.M. Jr, Grumberg O., Peled D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"191_CR5","unstructured":"Dror, E., Katz, E., Katz, S., Staijen, T.: The revised architecture of the cape. Technical report, AOSD Europe, August 2006"},{"key":"191_CR6","volume-title":"Aspect-Oriented Software Development","author":"R. Filman","year":"2005","unstructured":"Filman R., Elrad T., Clarke S., Aksit M.: Aspect-Oriented Software Development. Addison-Wesley, New York (2005)"},{"key":"191_CR7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s10703-010-0101-1","volume":"37","author":"M. Goldman","year":"2010","unstructured":"Goldman M., Katz E., Katz S.: Maven: modular aspect verification and interference analysis. Form. Methods Syst. Des. 37, 61\u201392 (2010)","journal-title":"Form. Methods Syst. Des."},{"key":"191_CR8","doi-asserted-by":"crossref","unstructured":"Goldman, M., Katz, S.: Maven: modular aspect verification. In: Proceedings of 13th TACAS 2007. LNCS, vol. 4424, pp. 308\u2013322. Springer, New York (2007)","DOI":"10.1007\/978-3-540-71209-1_24"},{"key":"191_CR9","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Dwyer, M.: Using the Bandera Tool Set to model-check properties of concurrent Java software. In: Larsen, K.G., Nielsen, M. (eds.) Proc. 12th Int. Conf. on Concurrency Theory, CONCUR\u201901. LNCS, vol. 2154, pp. 39\u201358. Springer, New York (2001)","DOI":"10.1007\/3-540-44685-0_5"},{"key":"191_CR10","doi-asserted-by":"crossref","unstructured":"Havelund, K., Pressburger, T.: Model checking Java programs using Java PathFinder. Int. J. Softw. Tools Technol. Transf. 2(4) (2000)","DOI":"10.1007\/s100090050043"},{"key":"191_CR11","doi-asserted-by":"crossref","unstructured":"Havinga, W., Nagy, I., Bergmans, L., Aksit, M.: A graph-based approach to modeling and detecting composition conflicts related to introductions. In: AOSD \u201907, pp. 85\u201395. ACM Press, New York (2007)","DOI":"10.1145\/1218563.1218574"},{"key":"191_CR12","doi-asserted-by":"crossref","unstructured":"Katz, E., Katz, S.: Verifying scenario-based aspect specifications. In: Proceedings of Formal Methods: International Symposium of Formal Methods Europe (FM05). LNCS, vol. 3582, pp. 432\u2013447. Springer, New York (2005)","DOI":"10.1007\/11526841_29"},{"key":"191_CR13","doi-asserted-by":"crossref","unstructured":"Katz, E., Katz, S.: Incremental analysis of interference among aspects. In: Proceedings of Foundations of Aspect Languages Workshop (FOAL08) (2008)","DOI":"10.1145\/1394496.1394500"},{"key":"191_CR14","doi-asserted-by":"crossref","unstructured":"Katz, E., Katz, S.: User queries for specification refinement treating shared aspect join points. In: Proceedings of International Conference on Software Engineering and Formal Methods (SEFM) (2010)","DOI":"10.1109\/SEFM.2010.16"},{"key":"191_CR15","unstructured":"Katz, S.: Aspect categories and classes of temporal properties. Trans. Aspect-Oriented Softw. Dev. 1, 106\u2013134 (2006). LNCS 3880"},{"key":"191_CR16","unstructured":"Katz, S., Sihman, M.: Aspect validation using model checking. In: Proceedings of International Symposium on Verification. LNCS, vol. 2772, pp. 389\u2013411 (2003)"},{"key":"191_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4449-4","volume-title":"Computer-Aided Reasoning: An Approach","author":"M. Kaufmann","year":"2000","unstructured":"Kaufmann M., Strother Moore J., Manolios P.: Computer-Aided Reasoning: An Approach. Kluwer, Norwell (2000)"},{"key":"191_CR18","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten M., Palm J., Griswold, W.G.: An overview of AspectJ. In: Proceedings ECOOP. LNCS, vol. 2072, pp. 327\u2013353 (2001)","DOI":"10.1007\/3-540-45337-7_18"},{"key":"191_CR19","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Fisler, K.: Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16, Article 7 (2007)","DOI":"10.1145\/1217295.1217296"},{"key":"191_CR20","doi-asserted-by":"crossref","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularly. In: Proceedings of SIGSOFT Conference on Foundations of Software Engineering, FSE\u201904, pp. 137\u2013146. ACM (2004)","DOI":"10.1145\/1029894.1029916"},{"key":"191_CR21","doi-asserted-by":"crossref","unstructured":"Margaria, T., Kubczak, C., Steffen, B.: Bio-jeti: a sevice integration, design, and provisioning platform for orchestratesd bioinformatics processes. BMC Bioinformatics 9(S-4) (2008)","DOI":"10.1186\/1471-2105-9-S4-S12"},{"key":"191_CR22","unstructured":"McMillan, K.L.: Getting Started With SMV. Cadence Labs, March 1999"},{"key":"191_CR23","unstructured":"Nguyen, H., Sudholt, M.: Aspects over vpa-based protocols. In: Proc. Intl. Conf. Software Eng. and Formal Methods (SEFM). Computer Science Press (2006)"},{"key":"191_CR24","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The groove simulator: a tool for state space generation. In: AGTIVE 2003. LNCS, vol. 3062, pp. 479\u2013485 (2003)","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"191_CR25","doi-asserted-by":"crossref","unstructured":"Rushby, J.: An evidential tool bus. In: Verification Grand Challenge Workshop, Jan 2006","DOI":"10.1007\/11576280_3"},{"key":"191_CR26","doi-asserted-by":"crossref","unstructured":"Soares, S., Borba, P., Laureano, E.: Distribution and persistence as aspects. Software: Practice and Experience, Jan 2006","DOI":"10.1002\/spe.715"},{"key":"191_CR27","unstructured":"Staijen, T., Rensink, A.: A graph-transformation-based semantics for analysing aspect interference. In: Workshop on Graph Computation Models, Jan 2006"},{"issue":"1\u20132","key":"191_CR28","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen B., Margaria T., Braun V.: The electronic tool integration platform: concepts and design. Int. J. Softw. Tools Technol. Transf. 1(1\u20132), 9\u201330 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"191_CR29","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser W., Havelund K., Brat G.P., Park S., Lerda F.: Model checking programs. Autom. Softw. Eng. 10(2), 203\u2013232 (2003)","journal-title":"Autom. Softw. Eng."},{"key":"191_CR30","unstructured":"Weston, N., Taiani, F., Rashid, A.: Interaction analysis for fault-tolerance in aspect-oriented programming. In: Workshop on Methods, Models and Tools for Fault Tolerance (2008)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0191-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-011-0191-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-011-0191-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,9]],"date-time":"2019-06-09T08:52:36Z","timestamp":1560070356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-011-0191-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,16]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["191"],"URL":"https:\/\/doi.org\/10.1007\/s10009-011-0191-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,16]]}}}