{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:03Z","timestamp":1725564543429},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_22","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:32:45Z","timestamp":1283671965000},"page":"310-324","source":"Crossref","is-referenced-by-count":16,"title":["Predictable Component Architectures Using Dependent Finite State Machines"],"prefix":"10.1007","author":[{"given":"Heinz W.","family":"Schmidt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd J.","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iman","family":"Poernomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Reussner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Allen, R.J.: A Formal Approach to Software Architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PE, USA (May 1997)","key":"22_CR1"},{"issue":"7","key":"22_CR2","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A. Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making Components Contract Aware. IEEE Computer\u00a032(7), 38\u201345 (1999)","journal-title":"IEEE Computer"},{"key":"22_CR3","volume-title":"Design and Use of Software Architectures \u2013 Adopting and evolving a product-line approach","author":"J. Bosch","year":"2000","unstructured":"Bosch, J.: Design and Use of Software Architectures \u2013 Adopting and evolving a product-line approach. Addison-Wesley, Reading (2000)"},{"issue":"2","key":"22_CR4","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"R.C. Cheung","year":"1980","unstructured":"Cheung, R.C.: A user-oriented software reliability model. IEEE Transactions on Software Engineering\u00a06(2), 118\u2013125 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"volume-title":"The book of traces","year":"1995","unstructured":"Diekert, V., Rosenberg, G. (eds.): The book of traces. World Scientific Publ. Co., Singapore (1995)","key":"22_CR5"},{"unstructured":"Frolund, S., Koistinen, J.: Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory (1998)","key":"22_CR6"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1109\/ICSE.2001.919109","volume-title":"Proceedings of the 23rd International Conference on Software Engeneering (ICSE 2001)","author":"D. Hamlet","year":"2001","unstructured":"Hamlet, D., Mason, D., Woit, D.: Theory of software reliability based on components. In: Proceedings of the 23rd International Conference on Software Engeneering (ICSE 2001), pp. 361\u2013370. IEEE Computer Society, Los Alamitos (2001)"},{"unstructured":"Hunzelmann, G.: Generierung von Protokollinformation f\u00fcr Softwarekomponentenschnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe (TH), Germany (April 2001)","key":"22_CR8"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1145\/242224.242420","volume":"28","author":"G. Kiczales","year":"1996","unstructured":"Kiczales, G.: Aspect-oriented programming. ACM Computing Surveys\u00a028(4), 154\u2013154 (1996)","journal-title":"ACM Computing Surveys"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Development of Reactive Systems Case Study Production Cell","year":"1995","unstructured":"Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems - Case Study Production Cell. LNCS, vol.\u00a0891. Springer, Heidelberg (1995)"},{"issue":"4","key":"22_CR11","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering\u00a021(4), 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"key":"22_CR13","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. Wiley & Sons, New York (1999)"},{"issue":"1","key":"22_CR14","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR15","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"unstructured":"Ochmanski, E.: Recognizable Trace Languages. In [5] pp. 165\u2013203","key":"22_CR16"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45440-3_17","volume-title":"Component Deployment","author":"I.H. Poernomo","year":"2002","unstructured":"Poernomo, I.H., Reussner, R.H., Schmidt, H.-W.: Architectures of Enterprise Systems: Modelling Transactional Contexts. In: Bishop, J.M. (ed.) CD 2002. LNCS, vol.\u00a02370, pp. 233\u2013243. Springer, Heidelberg (2002)"},{"key":"22_CR18","volume-title":"Parametrisierte Vertr\u00e4ge zur Protokolladaption bei Software-Komponenten","author":"R.H. Reussner","year":"2001","unstructured":"Reussner, R.H.: Parametrisierte Vertr\u00e4ge zur Protokolladaption bei Software-Komponenten. Logos, Berlin (2001)"},{"issue":"3","key":"22_CR19","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0164-1212(02)00080-8","volume":"66","author":"R.H. Reussner","year":"2003","unstructured":"Reussner, R.H., Schmidt, H.-W., Poernomo, I.H.: Reliability prediction for componentbased software architectures. Journal of Systems and Software\u00a066(3), 241\u2013253 (2003)","journal-title":"Journal of Systems and Software"},{"key":"22_CR20","first-page":"143","volume-title":"Information Systems Interoperability","author":"H.-W. Schmidt","year":"1998","unstructured":"Schmidt, H.-W.: Compatibility of interoperable objects. In: Kr\u00e4mer, B., Papazoglou, M.P., Schnmidt, H.W. (eds.) Information Systems Interoperability, pp. 143\u2013181. Research Studies Press, Taunton (1998)"},{"issue":"3","key":"22_CR21","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0164-1212(02)00045-6","volume":"65","author":"H.-W. Schmidt","year":"2003","unstructured":"Schmidt, H.-W.: Trustworthy components: Compositionality and prediction. Journal of Systems and Software\u00a065(3), 215\u2013225 (2003)","journal-title":"Journal of Systems and Software"},{"key":"22_CR22","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-0-387-35496-5_15","volume-title":"Proceedings of the 5th International Conference on Formal Methods for Open Object-based Distributed Systems","author":"H.-W. Schmidt","year":"2002","unstructured":"Schmidt, H.-W., Reussner, R.H.: Generating Adapters for Concurrent Component Protocol Synchronisation. In: Jacobs, B., Rensink, A. (eds.) Proceedings of the 5th International Conference on Formal Methods for Open Object-based Distributed Systems, pp. 213\u2013229. Kluwer Academic Publisher, Massachusetts (2002)"},{"issue":"1","key":"22_CR23","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0167-6423(01)00028-4","volume":"42","author":"N. V\u00f6lker","year":"2002","unstructured":"V\u00f6lker, N., Kr\u00e4mer, B.J.: Automated verification of function block-based industrial control systems. Science of Computer Programming\u00a042(1), 101\u2013113 (2002)","journal-title":"Science of Computer Programming"},{"key":"22_CR24","volume-title":"Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing","author":"W.-L. Wang","year":"1999","unstructured":"Wang, W.-L., Wu, Y., Chen, M.-H.: An Architecture-Based Software Reliability Model. In: Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, Hong Kong, China, December, IEEE, Los Alamitos (1999)"},{"unstructured":"Wydaeghe, B.: Component Composition Based on Composition Patterns and Usage Scenarios. Dissertation, Department of Computer Science, Vrije Universitiet Brussel (2001)","key":"22_CR25"},{"issue":"2","key":"22_CR26","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"Yellin, D., Strom, R.: Protocol Specifications and Component Adaptors. ACMTransactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACMTransactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T20:59:10Z","timestamp":1553029150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}