Reducing component systems' behavior specification

Proceedings - International Conference of the Chilean Computer Science Society, SCCC

Volumn , Issue , 2007, Pages 63-72

  Holub, Viliam ^a   Plasil, Frantisek ^b  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS; LAWS AND LEGISLATION; STATE SPACE METHODS;

BEHAVIOR SPECIFICATIONS; CASE STUDIES; COMPONENT BEHAVIOR; COMPONENT SYSTEMS; INTERNATIONAL CONFERENCES; REDUCTION RULES; STATE EXPLOSIONS; STATE SPACES; SYMBOLIC MANIPULATIONS;

SPECIFICATIONS;

EID: 47349084275     PISSN: 15224902     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCCC.2007.4396978     Document Type: Conference Paper

References (21)

1. F. Plasil, S. Visnovsky, and M. Besta, "Bounding component behavior via protocols," in TOOLS, vol. 30. USA: IEEE Computer Society, Aug 1999, pp. 387-398.
2. J. Adamek and E Plssil, "Component composition errors and update atomicity: Static analysis," Journal of Software Maintenance and Evolution: Research and Practice, vol. 17(5), pp. 363-377, Sep 2005.
3. J. A. Bergstra and J. W. Klop, "Process algebra for synchronous communication," Information and Control, vol. 60, no. 1-3., pp. 109-137, 1984.
4. R. Milner. A Calculus of Communicating Systems, ser. Lecture Notes in Computer Science. Springer, 1980, vol. 92.
5. M. Mach, F, Flasil, and J. Kofron, "Behavior protocol verification: Fighting state explosion," in International Journal of Computer and Information Science, vol. 6. ACIS, Mar 2005, pp. 22-30.
6. P. Parizek, F. Plasil, and J. Kofron, "Model checking of software components: Combining Java Pathfinder and behavior protocol model checker," Charles University, Tech. Rep. 2006/2, Jan 2006.
7. V. Holub and P. Tuma, "Streaming state space: A method of distributed model verification," in First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, 2007, pp. 356-368.
8. P. Cousot and R. Cousot, "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints." in Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming languages. Los Angeles, California; ACM Press, 1977, pp. 238-252.
9. E. M. Clarke, O. Grumberg, and D. E. Long. "Model checking and abstraction," ACM Transactions on Programming Languages and Systems. vol. 16, no. 5, pp. 1512-1542, Sep 1994.
10. th International Conference on Computer Aided Verification, ser. Lecture Notes In Computer Science, D. L. Dill, Ed., vol. 818. Springer-Verlag, Jun 1994, pp. 377-390.
11. nd Workshop on Computer Aided Verification (CAVW), ser. Lecture Notes in Computer Science, E. M. Clarke and R. P. Kurshan, Eds., vol. 531. London, UK: Springer-Verlag, Jun 1991, pp. 156-165.
12. J. E. Hopcroft, R. Motwani, and I. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wexley, 2001.
13. P. Jezek, J. Kofron, and F, Plasil, "Model checking of component behavior specification: A real life experience," in International Workshop on Formal Aspects of Component Software (FACS'05), vol. 160, Elsevier B.V, Aug 2006, pp. 197-210.
14. M. Weiser, "Program slices: formal, psychological, and praticai investigations of an automatic program abstraction method," Ph.D. dissertation, University of Michigan, 1979, ann Arbor.
15. M. Weiser, "Program slicing." IEEE Transactions on Software Engineering, vol. 10, no. 4, pp. 352-357, 1984.
16. I. K. Larus and S. Chandra, "Using tracing and dynamic slicing to tune compilers." University of Wisconsin-Madison, Tech. Rep. CS-TR-1993-1174, 1993.
17. F. Wu and T. Yi, "Slicing Z specifications," SIGPLAN Notices, vol. 39, no. 8, pp. 39-48, 2004.
18. M. Spivey, Z Notation. Prentice Hall, Jun 1992.
19. O. Sety and F. Plasil, "Slicing of components' behavior specification with respect to their composition," in 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2007), Jul 2007.
20. th International Conference on Computer Aided Verification. London, UK: Springer-Verlag, 1996. pp. 390-393.
21. C. N. Ip and D. L. Dill, "Better verification through symmetry," in CHDL '93: Proceedings of the 11th IFIP WG10.2 International Conference. Amsterdam, The Netherlands, The Netherlands: North-Holland Publishing Co., 1993, pp. 97-111.