{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T20:52:44Z","timestamp":1672606364489},"reference-count":10,"publisher":"International Academy Publishing (IAP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.1.169-175","type":"journal-article","created":{"date-parts":[[2012,2,2]],"date-time":"2012-02-02T07:17:15Z","timestamp":1328167035000},"source":"Crossref","is-referenced-by-count":2,"title":["Specifying Dynamic Software Architectures with Dynamic Description Logic"],"prefix":"10.17706","volume":"7","author":[{"given":"Zhikun","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,1,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115028"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0053581","article-title":"Specifying and Analyzing Dynamic Software Architectres","volume-title":"Proc. of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98)","author":"Allen","year":"1998"},{"issue":"1-4","key":"ref3","article-title":"A survey of temporal extensions of description logics","volume":"30","author":"Artale","year":"2001","journal-title":"Ann. Math. Artif. Intell.","ISSN":"http:\/\/id.crossref.org\/issn\/1012-2443","issn-type":"print"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013522"},{"key":"ref5","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"Baader","year":"2002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"ref7","first-page":"107","article-title":"Specification and refinement of dynamic software architectures","volume-title":"Proc. of the Working IFIP Conf. on Software Architecture (WICSA'99)","author":"Canal","year":"1999"},{"key":"ref8","first-page":"71","article-title":"Structure Analysis for Dynamic Software Architecture Based on Spatial Logic","volume-title":"Proc. of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05)","author":"Han","year":"2005"},{"issue":"3-4","key":"ref9","first-page":"159","article-title":"Foundations for the situation calculus","volume":"2","author":"Levesque","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T09:41:27Z","timestamp":1497951687000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/5252"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":10,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.1.169-175","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}