Architecture-based reasoning about performability in component-based systems

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

Volumn 4362 LNCS, Issue , 2007, Pages 130-137

  Schmidt, Heinz W ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SUPPORTED COOPERATIVE WORK; CONSTRAINT THEORY; DYNAMIC MODELS; PROBABILITY;

ANNOTATED AUTOMATA; ARCHITECTURE DEFINITIONS; DEPLOYMENT CONTEXT;

SOFTWARE ARCHITECTURE;

EID: 38149000738     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69507-3_10     Document Type: Conference Paper

References (15)

1. Magee, J., Dulay, N., Eisenbach, S., and Kramer, J.: Specifying Distributed Software Architectures. In: Proceedings of ESEC '95 - 5th European Software Engineering Conference, Sitges, Spain, Springer-Verlag, Berlin, Germany, Lecture Notes in Computer Science 989 (1995) 137-153
2. Magee, J., and Kramer, J.: Concurrency: State Models and Java Programs. John Wiley & Sons, Inc. (1999)
3. Schmidt, H.W.: Compatibility of Interoperable Objects. In Krämer, B., Papazoglou, M.P., Schnmidt, H.W. (eds): Information Systems Interoperability. Research Studies Press, Taunton, England (1998) 143-181
4. Schmidt, H.W., and Zimmermann, W.: A Complexity Calculus for Object-Oriented Programs. Journal of Object-Oriented Systems 1 2 (1994) 117-147
5. Ling, S., Schmidt, H.W., and Fletcher, R.: Constructing Interoperable Components in Distributed Systems. In: Technology of Object-Oriented Languages and Systems (TOOLS 32), IEEE Computer Society Press (1999) 274-284
6. Schmidt, H.W., Krämer, B., Poernomo, I., and Reussner, R.: Predictable Component Architectures Using Dependent Finite State Machines. In: Radical Innovations of Software and Sysetms Engineering in the Future, Springer-Verlag, Berlin, Germany, LNCS 2941 (2004) 310-324
7. Schmidt, H.W., Peake, I.D., Xie, J., Thomas, I., Krämer, B.J., Fay, A., and Bort, P.: Modelling Predictable Component-Based Distributed Control Architectures. In Russo, S., Kim, K. (eds), Proceedings of the Ninth Intl. Workshop on Object-Oriented Real-Time Dependable Systems, IEEE Computer Society Press (2004) 339-346
8. Meyer, B., Mingins, C., and Schmidt, H.W.: Providing Trusted Components to the Industry. IEEE Computer 31 5 (1998) 104-105
9. Schmidt, H.W.: Trusted Components: Towards Automated Assembly with Predictable Properties. In: Proceedings of the ICSE Workshop of Component Oriented Software Engineering (CBSE4), IEEE (2001)
10. Möller, A., Peake, I., Nolin, M., Fredriksson, J., and Schmidt, H.W.: Component-Based Context Dependent Hybrid Property Prediction. In Skavhaug, A., Schoitsch, E. (eds), Proceedings of the ERCIM Workshop on Dependable Software Intensive Embedded Systems, (2005) 69-74, ERCIM Digital Library http://vww.itk.ntnu.no/miBc/ercim and http://www.ercim.org/publication/ vorkshop_reports.html
11. Poernomo, I.H., Jayaputera, J.C., and Schmidt, H.W.: Timed Probablistic Constraints over the Distributed Management Taskforce Common Information Model. In van Sinderen, M., Steen, M., Lankhorst, M. (eds), Proceedings of the Ninth IEEE Intl. EDOC Enterprise Computing Conference, IEEE Computer Society Press (2005) 261-272
12. Diekert, V., and Rosenberg, G. (eds): The Book of Traces. World Scientific Publ. Co. (1995)
13. Haverkort, B.R., Marie, R., Rubino, G., and Trivedi, K.S.: Performability Modelling : Techniques and Tools. John Wiley & Sons, Inc. (2001)
14. Ochmanski, E.: Recognizable Trace Languages. In Diekert, V., Rosenberg, G. (eds), The Book of Traces, World Scientific Publ. Co. (1995) 165-203
15. Reussner, R.H., Schmidt, H.W., and Poernomo, I.: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software 66 3 (2003) 241-252