{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:27Z","timestamp":1725456207850},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030643","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:10:41Z","timestamp":1133417441000},"page":"818-832","source":"Crossref","is-referenced-by-count":9,"title":["Using LOTOS patterns to characterize architectural styles"],"prefix":"10.1007","author":[{"given":"Maritta","family":"Heisel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole","family":"L\u00e9vy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"62_CR1","doi-asserted-by":"crossref","unstructured":"G. Abowd, R. Allan, and D. Garlan. Using style to understand descriptions of software architecture. Proc. ACM SIGSOFT'93, Dec. 1993.","DOI":"10.1145\/256428.167055"},{"key":"62_CR2","doi-asserted-by":"crossref","unstructured":"R. Allan and D. Garlan. Formalizing architectural connection. In Proc. 16th Int. Conf. on Software Engineering. ACM Press, 1994.","DOI":"10.1109\/ICSE.1994.296767"},{"key":"62_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"62_CR4","doi-asserted-by":"crossref","unstructured":"P. Clements. A survey of architecture description languages. In Proc. of the 8th IWSSD, pages 16\u201325, March 1996. IEEE.","DOI":"10.1109\/IWSSD.1996.501143"},{"key":"62_CR5","volume-title":"Rapport SPECTRE C14","author":"J.C. Fernandez","year":"1989","unstructured":"J.C. Fernandez. Aldebaran: A tool for verification of communicating processes. Rapport SPECTRE C14, Laboratoire de G\u00e9nie Informatique-Institut IMAG, Grenoble, September 1989."},{"key":"62_CR6","doi-asserted-by":"crossref","unstructured":"J.C. Fernandez, H. Garavel, L. Mounier, A. Rasse, C. Rodriguez, and J. Sifakis. A Toolbox for the Verification of LOTOS Programs. In Lori A. Clarke, editor, Proc. of the 14th ICSE, May 1992. ACM.","DOI":"10.1145\/143062.143124"},{"key":"62_CR7","unstructured":"D. Garlan, A. Kompanek, R. Melton, and R. Monroe. Architectural Style: An Object-Oriented Approach. In Submitted for publication, February 1996."},{"key":"62_CR8","doi-asserted-by":"crossref","unstructured":"D. Garlan and M. Shaw. An introduction to software architecture. Advances in Software Engineering and Knowledge Engineering, World Scientific Publishing Company, 1, 1993.","DOI":"10.1142\/9789812798039_0001"},{"key":"62_CR9","doi-asserted-by":"crossref","unstructured":"M. Heisel, T. Santen, and D. Zimmermann. Tool support for formal software development: A generic architecture. In W. Sch\u00e4fer, P. Botella, eds, Proc. 5-th ESEC, LNCS 989, pages 272\u2013293, 1995.","DOI":"10.1007\/3-540-60406-5_20"},{"issue":"10","key":"62_CR10","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/32.469456","volume":"21","author":"B. Krishnamurthy","year":"1995","unstructured":"B. Krishnamurthy and D. Rosenblum. Yeast: a general purpose event-action system. IEEE Trans. Software Eng., 21(10):845\u2013857, Oct. 1995.","journal-title":"IEEE Trans. Software Eng."},{"key":"62_CR11","doi-asserted-by":"crossref","unstructured":"N. L\u00e9vy. Improving PROPLANE: a specifications development framework. In Proc. Second IFAC Int. Workshop on Safety and Reliability in Emerging Control Technologies, pages 229\u2013240, Nov. 1995.","DOI":"10.1016\/S1474-6670(17)44836-1"},{"issue":"4","key":"62_CR12","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. Luckham","year":"1995","unstructured":"D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using Rapide. IEEE Trans. Software Eng., 21(4):336\u2013355, April 1995.","journal-title":"IEEE Trans. Software Eng."},{"key":"62_CR13","doi-asserted-by":"crossref","unstructured":"M. Moriconi and X. Qian. Correctness and composition of software architectures. In David Wile, editor, Proc. of the second ACM SIGSOFT Symp., pages 164\u2013174. ACM Press, 1994.","DOI":"10.1145\/193173.195403"},{"key":"62_CR14","unstructured":"J. Souqui\u00e8res and N. L\u00e9vy. Description of Specification Developments. In Proc. IEEE Int. Symp. on Requirements Engineering, Jan. 1993."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:20:02Z","timestamp":1586593202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0030643","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}