{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:15:29Z","timestamp":1742382929695},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_19","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T14:06:43Z","timestamp":1159884403000},"page":"243-258","source":"Crossref","is-referenced-by-count":11,"title":["Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Colangelo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Compare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Massachusetts (1998)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. In: SIGSOFT Software Engineering Notes, vol.\u00a017, pp. 40\u201352 (1992)","DOI":"10.1145\/141874.141884"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Inverardi, P.: Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. In: SFM 2003: SA Lectures, vol.\u00a02804 (2003)","DOI":"10.1007\/b13225"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"FME 2003: Formal Methods","author":"D. Compare","year":"2003","unstructured":"Compare, D., Inverardi, P., Pelliccione, P., Sebastiani, A.: Integrating model-checking architectural analysis and validation in a real software life-cycle. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, Springer, Heidelberg (2003)"},{"key":"19_CR5","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison Wesley, Reading (2003)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Fast Software Encryption","author":"G.J. Holzmann","year":"2002","unstructured":"Holzmann, G.J.: The logic of bugs. In: Daemen, J., Rijmen, V. (eds.) FSE 2002. LNCS, vol.\u00a02365. Springer, Heidelberg (2002)"},{"key":"19_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Inverardi, P., Pelliccione, P.: Compositional verification of middleware-based software architecture descriptions. In: Proceedings of the International Conference on Software Engineering (ICSE 2004), Edimburgh (2004)","DOI":"10.1109\/ICSE.2004.1317444"},{"issue":"8","key":"19_CR9","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transaction on Computers"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/BFb0013032","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"S. Katz","year":"1989","unstructured":"Katz, S., Peled, D.: An efficient verification method for parallel and distributed programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 489\u2013507. Springer, Heidelberg (1989)"},{"key":"19_CR11","first-page":"1413","volume-title":"WSC 1995: Proceedings of the 27th conference on Winter simulation","author":"F.K. Frantz","year":"1995","unstructured":"Frantz, F.K.: A taxonomy of model abstraction techniques. In: WSC 1995: Proceedings of the 27th conference on Winter simulation, pp. 1413\u20131420. ACM Press, New York (1995)"},{"issue":"1\/2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00625970","volume":"9","author":"F.A. Emerson","year":"1996","unstructured":"Emerson, F.A., Sistla, A.P.: Symmetry and Model Checking. Formal Methods in System Design: An International Journal\u00a09(1\/2), 105\u2013131 (1996)","journal-title":"Formal Methods in System Design: An International Journal"},{"key":"19_CR13","unstructured":"Francez, N.: The Analysis of Cyclic Programs. PhD thesis, The Weizmann Institute of Science (1976)"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-82453-1_5","volume-title":"Logics and Models of Concurrent Systems, sub-series F: Computer and System Science","author":"A. Pnueli","year":"1985","unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. In: Logics and Models of Concurrent Systems, sub-series F: Computer and System Science, pp. 123\u2013144. Springer, Heidelberg (1985)"},{"key":"19_CR15","unstructured":"Kim, T., Song, Y.T., Chung, L., Huynh, D.T.: Software architecture analysis: A dynamic slicing approach. Journal of Computer & Information Science\u00a0(2), 91\u2013103 (2000)"},{"key":"19_CR16","unstructured":"Zhao, J.: Using dependence analysis to support software architecture understanding. In: Li, M. (ed.) New Technologies on Computer Software, pp. 135\u2013142. International Academic Publishers (1997)"},{"key":"19_CR17","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of programming languages\u00a03, 121\u2013189 (1995)","journal-title":"Journal of programming languages"},{"key":"19_CR18","unstructured":"Zhao, J.: Applying slicing technique to software architectures. In: Proceedings of 4th IEEE International Conference on Engineering of Complex Computer Systems, pp. 87\u201398 (1998)"},{"issue":"4","key":"19_CR19","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1142\/S021819400100061X","volume":"11","author":"J.A. Stafford","year":"2001","unstructured":"Stafford, J.A., Wolf, A.L.: Architecture-level dependence analysis for software systems. International Journal of Software Engineering and Knowledge Engineering\u00a011(4), 431\u2013451 (2001)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/11424529_18","volume-title":"Component-Based Software Engineering","author":"P. Pelliccione","year":"2005","unstructured":"Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: Deriving Test Sequences from Model-based Specifications. In: Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol.\u00a03489, pp. 267\u2013282. Springer, Heidelberg (2005)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006), Shanghai, China, May 27 (2006)","DOI":"10.1145\/1138953.1138959"},{"key":"19_CR22","unstructured":"PSC home page (2005), http:\/\/www.di.univaq.it\/psc2ba"},{"key":"19_CR23","unstructured":"Charmy Project: Charmy web site (2004), http:\/\/www.di.univaq.it\/charmy"},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/1081706.1081726","volume-title":"ESEC\/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering","author":"P. Inverardi","year":"2005","unstructured":"Inverardi, P., Muccini, H., Pelliccione, P.: Charmy: an extensible tool for architectural analysis. In: ESEC\/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 111\u2013114. ACM Press, New York (2005)"},{"key":"19_CR25","first-page":"439","volume-title":"ICSE 1981: Proceedings of the 5th international conference on Software engineering","author":"M. Weiser","year":"1981","unstructured":"Weiser, M.: Program slicing. In: ICSE 1981: Proceedings of the 5th international conference on Software engineering, Piscataway, NJ, USA, pp. 439\u2013449. IEEE Press, Los Alamitos (1981)"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Agrawal, H., Horgan, J.R.: Dynamic program slicing. In: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, White Plains, NY, vol. 25, pp. 246\u2013256 (1990)","DOI":"10.1145\/93542.93576"},{"issue":"3","key":"19_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0164-1212(90)90094-3","volume":"13","author":"B. Korel","year":"1990","unstructured":"Korel, B., Laski, J.: Dynamic slicing of computer programs. J. Syst. Softw.\u00a013(3), 187\u2013195 (1990)","journal-title":"J. Syst. Softw."},{"key":"19_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)"},{"key":"19_CR29","unstructured":"Buchi, R.: On a decision method in restricted second order arithmetic. In: Press, S.U. (ed.) Proc. of the Int. Congress of Logic, Methodology and Philosophy of Science, pp. 1\u201311 (1960)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T12:25:55Z","timestamp":1555849555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11888116_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}