Predictable component architectures using dependent finite state machines

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

Volumn 2941, Issue , 2004, Pages 310-324

  Schmidt, Heinz W ^a   Krämer, Bernd J ^b   Poernomo, Iman ^a   Reussner, Ralf ^a  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSITY OF HAGEN   (Germany)

Author keywords

Automated interface adaptation; Component based interface specification; Component based prediction; Finite state machines; Parameterised contracts; Production cell; Protocol types; Software architecture

Indexed keywords

FINITE AUTOMATA; LOGIC CIRCUITS; MACHINE COMPONENTS; NETWORK ARCHITECTURE; RELIABILITY ANALYSIS; SOFTWARE ARCHITECTURE;

ARCHITECTURAL DESCRIPTION LANGUAGES; COMPONENT ARCHITECTURES; COMPONENT BASED; INTERFACE ADAPTATION; INTERFACE SPECIFICATION; NON-FUNCTIONAL ANALYSIS; PERFORMANCE PROPERTIES; PRODUCTION CELLS;

INTERFACE STATES;

EID: 35048865881     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24626-8_22     Document Type: Article

References (26)

1. R.J. Allen. A Formal Approach to Software Architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PE, USA, May 1997.
2. A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. Making Components Contract Aware. IEEE Computer, 32(7):38-45, 1999.
3. J. Bosch. Design and Use of Software Architectures - Adopting and evolving a product-line approach. Addison-Wesley, Reading, MA, USA, 2000.
4. R.C. Cheung. A user-oriented software reliability model. IEEE Transactions on Software Engineering, 6(2):118-125, 1980.
5. V. Diekert and G. Rosenberg (ed.) The book of traces. World Scientific Publ. Co., 1995.
6. S. Frolund and J. Koistinen. Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory, 1998.
7. D. Hamlet, D. Mason, and D. Woit. Theory of software reliability based on components. In Proceedings of the 23rd International Conference on Software Engineering (ICSE-01), 361-370, IEEE Computer Society 2001.
8. G. Hunzelmann. Generierung von Protokollinformation für Softwarekomponenten-schnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe (TH), Germany, April 2001.
9. G. Kiczales. Aspect-oriented programming. ACM Computing Surveys, 28(4): 154-154, 1996.
10. C. Lewerentz and T. Lindner, editors. Formal Development of Reactive Systems - Case Study Production Cell. Number 891 in LNCS. Springer-Verlag, Berlin, Germany, 1995.
11. D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering, 21(4):336-355, 1995.
12. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of ESEC '95 - 5th European Software Engineering Conference, volume 989 of Lecture Notes in Computer Science, pages 137-153, Springer-Verlag, Berlin, 1995
13. J. Magee and J. Kramer. Concurrency: State Models and Java Programs. Wiley & Sons, New York, NY, USA, 1999.
14. N. Medvidovic and R.N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93, 2000.
15. B. Meyer. Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs, NJ, USA, 2 edition, 1997.
16. E. Ochmanski. Recognizable Trace Languages, in [5] 165-203
17. I.H. Poemomo, R.H. Reussner, and H.-W. Schmidt. Architectures of Enterprise Systems: Modelling Transactional Contexts. In Proceedings of the First IFIP/ACM Working Conference on Component Deployment (CD 2002), volume 2370 of Lecture Notes in Computer Science, 233-243. Springer-Verlag, Berlin, 2002.
18. R.H. Reussner. Parametrisierte Verträge nur Protokolladaption bei Software-Komponenten. Logos Verlag, Berlin, 2001.
19. R.H. Reussner, H.-W. Schmidt, and I.H. Poernomo. Reliability prediction for component-based software architectures. Journal of Systems and Software, 66(3):241-253, Elsevier 2003.
20. H.-W. Schmidt. Compatibility of interoperable objects. In Bernd Krämer, Michael P. Papazoglou, and Heinz W. Schnmidt, editors, Information Systems Interoperability, 143-181. Research Studies Press, Taunton, England, 1998.
21. H.-W. Schmidt. Trustworthy components: Compositionality and prediction. Journal of Systems and Software, 65(3):215-225, Elsevier 2003.
22. H.-W. Schmidt and R.H. Reussner. Generating Adapters for Concurrent Component Protocol Synchronisation. In Proceedings of the 5th International Conference on Formal Methods for Open Object-based Distributed Systems, in B Jacobs and A Rensink (eds.), 213-229, Kluwer Academic Publisher, Massachusetts 2002
23. N. Völker, B.J. Krämer. Automated verification of function block-based industrial control systems. Science of Computer Programming, Vol. 42, (1): 101-113, Elsevier 2002
24. W.-L. Wang, Y. Wu, and M.-H. Chen. An Architecture-Based Software Reliability Model. In Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, December, Hong Kong, China. IEEE, 1999.
25. B. Wydaeghe. Component Composition Based on Composition Patterns and Usage Scenarios. Dissertation, Department of Computer Science, Vrije Universitiet Brussel, 2001.
26. D. Yellin and R. Strom. Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.