{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:32:27Z","timestamp":1742394747885},"reference-count":26,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1016\/s0950-5849(99)00009-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"451-467","source":"Crossref","is-referenced-by-count":41,"title":["Introducing software architecture specification and analysis in SAM through an example"],"prefix":"10.1016","volume":"41","author":[{"given":"J","family":"Wang","sequence":"first","affiliation":[]},{"given":"X","family":"He","sequence":"additional","affiliation":[]},{"given":"Y","family":"Deng","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(99)00009-9_BIB1","series-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw","year":"1996"},{"issue":"4","key":"10.1016\/S0950-5849(99)00009-9_BIB2","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","article-title":"Specification and analysis of system architecture using Rapide","volume":"21","author":"Luckham","year":"1995","journal-title":"IEEE Trans. Software Engng"},{"issue":"4","key":"10.1016\/S0950-5849(99)00009-9_BIB3","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1109\/32.385973","article-title":"Formal specification and analysis of software architectures using the chemical abstract machine model","volume":"21","author":"Inverardi","year":"1995","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(99)00009-9_BIB4","doi-asserted-by":"crossref","unstructured":"Y. Deng, J. Wang., R. Sinha, Incremental architectural modeling and verification of real time concurrent systems, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, 1998.","DOI":"10.1109\/ICFEM.1998.730567"},{"key":"10.1016\/S0950-5849(99)00009-9_BIB5","unstructured":"J. Wang, Y. Deng, Incremental modeling and verification of flexible manufacturing systems, Int. J. Intelligent Manufacturing (in press)."},{"key":"10.1016\/S0950-5849(99)00009-9_BIB6","unstructured":"C. Heitmeyer, D. Mandrioli, Formal methods for real-time computing: An overview, Formal Methods for Real-time Computing, 1995, pp. 1\u201329."},{"issue":"12","key":"10.1016\/S0950-5849(99)00009-9_BIB7","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.489073","article-title":"Compositional validation of time-critical systems using communicating time Petri nets","volume":"21","author":"Bucci","year":"1995","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0950-5849(99)00009-9_BIB8","unstructured":"Y. Deng, W. Du, P.C. Attie, M. Evangelist, A formal approach for architectural modeling and decomposition of distributed real-time systems, Proceedings of the Eight International Conference on Software Engineering and Knowledge Engineering, Nevada, 1996, pp. 408\u2013417."},{"issue":"3","key":"10.1016\/S0950-5849(99)00009-9_BIB9","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","article-title":"Modeling and verification of time dependent systems using time Petri nets","volume":"17","author":"Berthomieu","year":"1991","journal-title":"IEEE Trans. Software Engng"},{"issue":"4","key":"10.1016\/S0950-5849(99)00009-9_BIB10","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0950-5849(99)00009-9_BIB11","series-title":"Timed Petri Nets: Theory and Application","author":"Wang","year":"1998"},{"issue":"9","key":"10.1016\/S0950-5849(99)00009-9_BIB12","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","article-title":"A specifier's introduction to formal methods","volume":"23","author":"Wing","year":"1990","journal-title":"IEEE Computer"},{"issue":"2","key":"10.1016\/S0950-5849(99)00009-9_BIB13","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","volume":"8","author":"Clarke","year":"1986","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"10.1016\/S0950-5849(99)00009-9_BIB14","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00355298","article-title":"Quantitative temporal reasoning","volume":"4","author":"Emerson","year":"1992","journal-title":"Real-Time Systems"},{"issue":"3","key":"10.1016\/S0950-5849(99)00009-9_BIB15","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BF01888226","article-title":"Integrating predicate transition nets and first order temporal logic in the specification of concurrent systems","volume":"2","author":"He","year":"1990","journal-title":"Formal Aspects of Computing"},{"issue":"2","key":"10.1016\/S0950-5849(99)00009-9_BIB16","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/32.265634","article-title":"Proving properties of real-time systems through logical specifications and Petri net models","volume":"20","author":"Felder","year":"1994","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(99)00009-9_BIB17","series-title":"Formal Methods for Real-time Computing","author":"Mandrioli","year":"1996"},{"issue":"4","key":"10.1016\/S0950-5849(99)00009-9_BIB18","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: State of the art and future","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"10.1016\/S0950-5849(99)00009-9_BIB19","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","article-title":"The existence of refinement mappings","volume":"82","author":"Abadi","year":"1991","journal-title":"Theoretical Computer Sci."},{"issue":"1","key":"10.1016\/S0950-5849(99)00009-9_BIB20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","article-title":"Composing specifications","volume":"15","author":"Abadi","year":"1993","journal-title":"ACM Trans. Programming Languages and Systems"},{"issue":"3","key":"10.1016\/S0950-5849(99)00009-9_BIB21","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1145\/203095.201069","article-title":"Conjoining specifications","volume":"17","author":"Abadi","year":"1995","journal-title":"ACM Trans. Programming Languages and Systems"},{"issue":"4","key":"10.1016\/S0950-5849(99)00009-9_BIB22","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1109\/TAC.1987.1104607","article-title":"Command and control (C2) theory: a challenge to control science","volume":"AC-32","author":"Athans","year":"1987","journal-title":"IEEE Trans. on Automatic Control"},{"key":"10.1016\/S0950-5849(99)00009-9_BIB23","series-title":"Formal Methods for Real-time Computing","author":"Gerber","year":"1996"},{"key":"10.1016\/S0950-5849(99)00009-9_BIB24","unstructured":"X. He, W. Yao, Translating hierarchical predicate transition nets into CC++ program skeletons, Proceedings of the 21st International Computer Software and Application Conference (COMPSAC\u201997), Washington, DC, 1997, pp. 64\u201369."},{"key":"10.1016\/S0950-5849(99)00009-9_BIB25","unstructured":"X. He, F. Zeng, Y. Deng, Specifying software architectural connectors in SAM, Proceedings of 11th International Conference on Software Engineering and Knowledge Engineering, Kaiserslautern, Germany, 1999 (submitted)."},{"key":"10.1016\/S0950-5849(99)00009-9_BIB26","unstructured":"S. Lewandowski, X. He, A Java framework for implementing hierarchical predicate transition nets, Proceedings of 10th International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, 1998."}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000099?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000099?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T22:21:43Z","timestamp":1556058103000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":26,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["S0950584999000099"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00009-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}