Verification of component behavioral compatibility

Proceedings - International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2007

Volumn , Issue , 2007, Pages 294-304

  Craig, D C ^a   Zuberek, W M ^a  

^a MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; INTERFACES (COMPUTER); PETRI NETS; VERIFICATION;

COMPONENT BEHAVIORAL COMPATIBILITY; INTERFACE LANGUAGES; SOFTWARE FAILURES;

COMPUTER SYSTEMS;

EID: 36048996271     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEPCOS-RELCOMEX.2007.53     Document Type: Conference Paper

References (20)

1. S.T. Albin, "The art of software architecture: design methods and techniques"; Wiley 2003.
2. A.W. Brown, "Large-scale component-based development"; Prentice-Hall 2000.
3. A.W. Brown, "An overview of components and component-based development"; in "Advances in Computers", vol.54 - Trends in Software Engineering, pp. 1-34, Academic Press 2001.
4. D. Bugden, "Software design" (2 ed.); Addison-Wesley 2003.
5. F. Chu, X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming"; IEEE Trans, on Robotics and Automation, vol.13, no.6, pp.793-804, 1997.
6. P. Clements, R. Kazman, M. Klein, "Evaluating software architectures - methods and case studies"; Addison-Wesley 2002.
7. D.C. Craig, "Compatibility of software components - modeling and verification"; Ph.D. Thesis, Department of Computer Science, Memorial University, St.John's, Canada A14B 3X5, 2006.
8. D.C. Craig, W.M. Zuberek, "Compatibility of software components - modeling and verification"; Proc. Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, pp.11-18, 2006.
9. D. Garlan, D.E. Perry, "Introduction to the special issue on software architecture"; IEEE Trans. on Software Engineering, vol.21, no.4, pp. 269-274, 1995.
10. M. Hack, "Analysis of production schemata by Petri nets"; Technical Report TR-94, Massachusetts Institute of Technology, Cambridge, MA, USA, 1972.
11. J.E. Hopcroft, R. Motwani, J.D. Ullman, "Introduction to automata theory, languages, and computations" (2 ed.); Addison Wesley 2001.
12. R. Janicki, P.E. Lauer, "Specification and analysis of concurrent systems - the COSY approach"; Springer-Verlag 1992.
13. T. Murata, "Petri nets: properties, analysis, and applications", Proceedings of the IEEE, vol.77, no.4, pp.541-580,1989.
14. M. Shaw, D. Garlan, "Software architecture: perspectives on an emerging discipline"; Prentice Hall 1996.
15. M. Silva, E. Teruel, J. Couvreur, "Linear algebra in and linear programming techniques for the analysis of place/transition net systems"; in "Lecture on Petri nets - basic models" (Lecture Notes in Computer Science 1491), pp.309-373, Springer-Verlag 1998.
16. I. Sommerville, Software Engineering (6 ed.), Addison-Wesley 2001.
17. D.H. Steinberg, D.W. Palmer, "Extreme software engineering: a hands-on approach", Pearson/Prentice Hall 2004.
18. C. Szyperski (with D. Gruntz, S. Murer), "Component software: beyond object-oriented programming" (2 ed.); Addison-Wesley 2002.
19. C. Szyperski, "Component software and the way ahead"; in "Foundations of component-based systems", G.T. Leavens, M. Sitaraman (eds.), pp. 1-20, Cambridge University Press 2000.
20. WM Zuberek, "Timed Petri nets - definitions, properties and applications"; Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), vol.31, no.4, pp.627-644, 1991.