{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:14:06Z","timestamp":1737522846040,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540756972"},{"type":"electronic","value":"9783540756989"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75698-9_30","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T02:26:03Z","timestamp":1191464763000},"page":"423-431","source":"Crossref","is-referenced-by-count":2,"title":["A Review on Specifying Software Architectures Using Extended Automata-Based Models"],"prefix":"10.1007","author":[{"given":"Mehran","family":"Sharafi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fereidoon","family":"Shams Aliee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Movaghar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Shaw, M.: The coming-of-age of software architecture research. In: Proceedings of International Conference on Software Engineering, Toronto, pp. 656\u2013664 (2001)","DOI":"10.1109\/ICSE.2001.919142"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Brim, L., Cern, I., Varekov, P., Zimmerova, B.: Component Interaction Automata as a Verification Oriented Component-Based System Specification. In: SAVCBS. Workshop of Specification and Verification of Component-based Systems (2005)","DOI":"10.1145\/1123058.1123063"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.1016\/S0140-3664(99)00244-3","volume":"23","author":"J. Li","year":"2000","unstructured":"Li, J., Horgan, J.R.: Applying formal description techniques to software architectural design. The journal of Computer Communications\u00a023, 1169\u20131178 (2000)","journal-title":"The journal of Computer Communications"},{"key":"30_CR4","unstructured":"ITU-T, Recommendation Z.100: specification and description language SDL, International Telecommunication Union, Geneva (1989)"},{"key":"30_CR5","first-page":"110","volume-title":"ISSRE 1997","author":"J.J. Li","year":"1997","unstructured":"Li, J.J., Micallef, J., Horgan, J.R.: Automatic simulation to predict software architecture reliability. In: ISSRE 1997. Proceedings of the IEEE Eigth International Symposium on Software Reliability Engineering, pp. 110\u2013120. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"3","key":"30_CR6","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"30_CR7","series-title":"Software Engineering Notes","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503209.503226","volume-title":"ESEC\/FSE 2001","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface Automata. In: Gruhn, V. (ed.) ESEC\/FSE 2001. Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering, September 10-14. Software Engineering Notes, vol.\u00a026(5), pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1145\/266838.267363","volume-title":"GROUP 1997","author":"C. Ellis","year":"1997","unstructured":"Ellis, C.: Team Automata for Groupware Systems. In: GROUP 1997. Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, pp. 415\u2013424. ACM Press, New York (1997)"},{"issue":"1","key":"30_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1022407907596","volume":"12","author":"M. Beek","year":"2003","unstructured":"Beek, M., Ellis, C., Kleijn, J., Rozenberg, G.: Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work, The Journal of Collaborative Computing\u00a012(1), 21\u201369 (2003)","journal-title":"Computer Supported Cooperative Work, The Journal of Collaborative Computing"},{"key":"30_CR10","unstructured":"Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, O.: Documenting Component and Connector Views with UML 2.0. Technical report, CMU\/SEI, TR-008 ESC-TR-2004-008 (2004)"},{"key":"30_CR11","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021, 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"30_CR12","first-page":"519","volume-title":"Proceedings of the 6th ACM Symposium on Principles of Distributed Computing","author":"N.A. Lynch","year":"1987","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, pp. 519\u2013543. ACM Press, New York (1987)"},{"issue":"5","key":"30_CR13","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker Spin. IEEE Trans. Soft. Eng.\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"30_CR14","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1991)"},{"key":"30_CR15","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall. SU Fisher Research 511\/24 (1989)"},{"key":"30_CR16","series-title":"ENTCS","first-page":"79","volume-title":"Interface Automata with Complex Actions","author":"S.. Esmaeilsabzali","year":"2005","unstructured":"Esmaeilsabzali, S., Mavaddat, F., Day, N.A.: Interface Automata with Complex Actions. ENTCS, pp. 79\u201397. Elsevier, Amsterdam (2005)"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75698-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T11:28:40Z","timestamp":1737458920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75698-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540756972","9783540756989"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75698-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}