Compatibility of software Components - Modeling and verification

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

Volumn , Issue , 2006, Pages 11-18

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

^a MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEM RECOVERY; INTERFACES (COMPUTER); LARGE SCALE SYSTEMS; PETRI NETS;

COMPONENT BASED SOFTWARE ENGINEERING (CBSE); COMPONENT INTERACTION; DEADLOCK DETECTION; SOFTWARE SYSTEMS;

SOFTWARE ARCHITECTURE;

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

References (22)

1. K. Beck. Extreme Programming explained : Embrace Change. Addison-Wesley, 2000.
2. B. Boehm and R. Turner. Balancing Agility and Discipline: A Guide for the Perplexed. Addison-Wesley Pearson Education, 2004.
3. D. Bugden. Software Design. Pearson Addison-Wesley, second edition, 2003.
4. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, 1996.
5. F. Chu and X. Xie. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, 13(6):793-804, 1997.
6. D.Craig. Compatibility of Software Components -Modeling and Verification. Ph.D. Thesis. Memorial University of Newfoundland, 2006.
7. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools and Applications. Addison-Wesley, Inc., 2000.
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
9. D. Garlan and D. E. Perry. Introduction to the special issue on software architecture. IEEE Transactions of Software Engineering, 21(4):269-274, Apr 1995.
10. K. Jensen. Coloured Petri nets. In Advanced Course on Petri Nets 1986, volume 254 of Lecture Notes in Computer Science pages 248-299. Springer-Verlag, 1987.
11. R. Kazman, G. Abowd, L. Bass, and P. Clements. Scenario-based analysis of software architecture. IEEE Software, 13(6):47-55, Nov 1996.
12. E. Kindler. A compositional partial order semantics for petri net components. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 235-252. Springer-Verlag, 1997.
13. A. Martens. Usability of web services. In Proceedings of the Fourth International Conference on Web Information Systems Engineering Workshops, pages 182-190. IEEE Computer Society, 2003.
14. N. Medvidovic and R. Taylor. A framework for classifying and comparing architecture description languages. In Software Engineering - ESEC/FSE '97, volume 1301 of Lecture Notes in Computer Science, pages 60-76. Springer-Verlag, 1997.
15. D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, Dec 1972.
16. D. L. Parnas, P. C. Clements, and D. M. Weiss. The modular structure of complex systems. IEEE Transactions on Software Engineering, 11(3):259-266, Mar 1985.
17. C. Sibertin-Blanc. A compositional partial order semantics for petri net components. In M. Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 377-396. Springer-Verlag, 1993.
18. D. H. Steinberg and D. W. Palmer. Extreme Software Engineering: A Hands-on Approach. Peason/Prentice Hall, 2004.
19. P. Tonella. Concept analysis for module restructuring. IEEE Transactions of Software Engineering, 27(4):351-363, Apr 2000.
20. W. van der Aalst. Workflow verification: Finding control-flow errors using petri-net-based techniques. In W. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161-183. Springer-Verlag, 2000.
21. W. van der Aalst, K. van Hee, and R. van der Toorn. Component-based software architectures: A framework based on inheritance of behaviour. Science of Computer Programming, 42(2-3):129-171, Feb/Mar 2002.
22. W.M Zuberek. Timed Petri nets - definitions, properties and applications. Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), 31(4):627-644, 1991.