{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:30:36Z","timestamp":1729654236012,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/itcc.2004.1286528","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"591-595 Vol.1","source":"Crossref","is-referenced-by-count":1,"title":["A formal approach to software architecture of agent-base systems"],"prefix":"10.1109","author":[{"given":"H.","family":"Reza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Grant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Guest editorial, introduction to the special issue on software architecture","volume":"21","author":"garlan","year":"1995","journal-title":"IEEE Transactions on Software Eng"},{"journal-title":"Fundamentals of Software Engineering 2nd Edition","year":"2002","author":"ghezzi","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19971026"},{"key":"1","article-title":"A syntactic: Theory of software architecture","volume":"21","author":"cordy","year":"1995","journal-title":"IEEE Trans on Software Eng"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/THS.2008.4534486"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01888226"},{"key":"4","article-title":"A formal definition of hierarchical predicate transition nets","author":"he","year":"1996","journal-title":"Proc Int Conf Application and Theory of Petri Nets"},{"key":"9","article-title":"An integrated method to software architecture","author":"reza","year":"2003","journal-title":"SEKE '03"},{"journal-title":"A Framework for Specifying Software Architecture of a System Based on Petri Nest Patterns","year":"2002","author":"reza","key":"8"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2001.917390"},{"key":"12","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/TSE.2003.1166587","article-title":"A formal architectural model for logical agent mobility","volume":"29","author":"xu","year":"2003","journal-title":"IEEE Trans on Software Eng"}],"event":{"name":"International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004.","start":{"date-parts":[[2004,4,5]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2004,4,7]]}},"container-title":["International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9035\/28682\/01286528.pdf?arnumber=1286528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:56:39Z","timestamp":1497585399000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1286528\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/itcc.2004.1286528","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}