Reducing software architecture models complexity: A slicing and abstraction approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4229 LNCS, Issue , 2006, Pages 243-258

  Colangelo, Daniela ^a   Compare, Daniele ^a   Inverardi, Paola ^b   Pelliccione, Patrizio ^b  

^a SELEX Communications   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; DATA STRUCTURES; PROBLEM SOLVING; TELECOMMUNICATION SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL METHODS; SOFTWARE ARCHITECTURE;

SOFTWARE QUALITY; VERIFICATION TECHNIQUES; VERIFICATION VALIDITY; COST OF PRODUCTIONS; MODEL COMPLEXITY; SELEX COMMUNICATIONS; SOFTWARE ARCHITECTURE MODEL; SOFTWARE SYSTEMS; STATE EXPLOSION PROBLEMS; VERY LARGE SYSTEMS;

COMPUTER SOFTWARE; MODEL CHECKING;

EID: 33750572195     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_19     Document Type: Conference Paper

References (29)

1. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Massachusetts (1998)
2. Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. In: SIGSOFT Software Engineering Notes. Volume 17. (1992) 40-52
3. Bernardo, M., Inverardi, P.: Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures, LNCS 2804 (2003)
4. Compare, D., Inverardi, P., Pelliccione, P., Sebastiani, A.: Integrating modelchecking architectural analysis and validation in a real software life-cycle. In: the 12th International Formal Methods Europe Symposium (FME 2003). number 2805 in LNCS, Springer (2003)
5. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison Wesley (2003)
6. Holzmann, G.J.: The logic of bugs. In: FSE 2002, Foundations of Software Engineering, Charleston, SC, USA (2002)
7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (2001)
8. 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.)
9. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers C-35(8) (1986) 677-691
10. Katz, S., Peled, D.: An efficient verification method for parallel and distributed programs. In: Workshop on Linear Time, Branching Time and Partial Order Logics and Models for Concurrency. Volume 354 of LNCS., Springer (1988) 489-507
11. Frantz, F.K.: A taxonomy of model abstraction techniques. In: WSC '95: Proceedings of the 27th conference on Winter simulation, New York, NY, USA, ACM Press (1995) 1413-1420
12. Emerson, F.A., Sistla, A.P.: Symmetry and Model Checking. Formal Methods in System Design: An International Journal 9(1/2) (1996) 105-131
13. Francez, N.: The Analysis of Cyclic Programs. PhD thesis, The Weizmann Institute of Science (1976)
14. Pnueli, A.: In transition from global to modular temporal reasoning about programs. Logics and Models of Concurrent Systems, sub-series F: Computer and System Science (1985) 123-144 Springer-Verlag.
15. Kim, T., Song, Y.T., Chung, L., Huynh, D.T.: Software architecture analysis: A dynamic slicing approach. Journal of Computer & Information Science (2) (2000) 91-103
16. Zhao, J.: Using dependence analysis to support software architecture understanding, in M. Li (Ed.), New Technologies on Computer Software, International Academic Publishers (1997) 135-142
17. Tip, F.: A survey of program slicing techniques. Journal of programming languages 3 (1995) 121-189
18. Zhao, J.: Applying slicing technique to software architectures. In: Proceedings of 4th IEEE International Conference on Engineering of Complex Computer Systems. (1998) 87-98
19. Stafford, J.A., Wolf, A.L.: Architecture-level dependence analysis for software systems. International Journal of Software Engineering and Knowledge Engineering 11(4) (2001) 431-451
20. Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: Deriving Test Sequences from Model-based Specifications. In: Proc. Eighth International SIGSOFT Symposium on Component-based Software Engineering (CBSE 2005). Lecture Notes in Computer Science, LNCS 3489, St. Louis, Missouri (USA) (2005) 267-282
21. 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'06). (Shanghai, China, May 27, 2006.)
22. PSC home page: http://www.di.univaq.it/psc2ba: (2005)
23. Charmy Project: Charmy web site, http://www.di.univaxj.it/charmy (2004)
24. 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, New York, NY, USA, ACM Press (2005) 111-114
25. Weiser, M.: Program slicing. In: ICSE '81: Proceedings of the 5th international conference on Software engineering, Piscataway, NJ, USA, IEEE Press (1981) 439-449
26. Agrawal, H., Horgan, J.R.: Dynamic program slicing. In: Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation. Volume 25., White Plains, NY (1990) 246-256
27. Korel, B., Laski, J.: Dynamic slicing of computer programs. J. Syst. Softw. 13(3) (1990) 187-195
28. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc. (1992)
29. 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. (1960) 1-11