{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T10:59:39Z","timestamp":1780657179112,"version":"3.54.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,2,24]],"date-time":"2007-02-24T00:00:00Z","timestamp":1172275200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2007,3,16]]},"DOI":"10.1007\/s11227-006-0017-0","type":"journal-article","created":{"date-parts":[[2007,2,24]],"date-time":"2007-02-24T03:19:22Z","timestamp":1172287162000},"page":"347-357","source":"Crossref","is-referenced-by-count":9,"title":["A method to test concurrent systems using architectural specification"],"prefix":"10.1007","volume":"39","author":[{"given":"Hassan","family":"Reza","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emanuel S.","family":"Grant","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,2,24]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Cordy J, Dean T (1995) A syntactic theory of software architecture. IEEE Trans Softw Eng 21(4)","DOI":"10.1109\/32.385969"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Egyed A, Medvidovic N (2000) A formal approach to heterogeneous software modeling. LNCS 1783, FASE, 2000","DOI":"10.1007\/3-540-46428-X_13"},{"key":"17_CR3","unstructured":"Garlan D, Shaw M (1996) Software architecture: perspective on an emerging discipline. Prentice Hall"},{"key":"17_CR4","unstructured":"Ghosh S, Mathur P (1999) Issues in testing distributed component-based systems. In: First ICSE workshop on testing distributed component-based systems, 1999"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"He X (1996) A formal definition of hierarchical predicate transition nets. In: Proceedings of the 17th international conference on the application and the theory of petri nets, Osaka, Japan, June 1996","DOI":"10.1007\/3-540-61363-3_12"},{"key":"17_CR6","unstructured":"Jin Z, Offutt J (2001) Deriving tests from software architectures. In: The 12th IEEE international symposium on software reliability engineering (ISSRE\u201901), Hong Kong, November 2001"},{"key":"17_CR7","unstructured":"Jorgensen P (1995) Software Testing: A Craftsman\u2019s Approach. CRC Press"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Jorgensen P (2002) Software Testing: A Craftsman\u2019s Approach, 2nd edn. CRC Publication","DOI":"10.1201\/b16592"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Juan E, Tsai J, Murata T (1998) Compositional verification of concurrent system using petri-net-based condensation rules. ACM Trans Program Lang Syst 20(5)","DOI":"10.1145\/293677.293681"},{"key":"17_CR10","unstructured":"Lundberg L, Bosch J, H\u00e4ggander D, Bengtsson P-O (1999) Quality attributes in software architecture design. In: 3rd Annual IASTED international conference software engineering and applications, Scottsdale, Arizona, USA, October 6\u20138, 1999"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Medvidovic N, Taylor R (2000) A classification and comparison framework for software architecture description languages. IEEE Trans Softw Eng 21(1)","DOI":"10.1109\/32.825767"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Muccini H, Bertolino A, Inverardi P (2004) Using software architecture for code testing. IEEE Trans Softw Eng 30(3)","DOI":"10.1109\/TSE.2004.1271170"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Peterson J (1977) Petri nets. Comput Surveys 9(3)","DOI":"10.1145\/356698.356702"},{"key":"17_CR14","unstructured":"Pressman V (2005) Software Engineering: A Practitioner\u2019s Approach. McGraw-Hill"},{"key":"17_CR15","unstructured":"Reza H (2002) A framework for specifying software architecture based on petri net pattern, PhD Dissertation, Department of Computer Science, North Dakota State University, April 2002"},{"key":"17_CR16","unstructured":"Reza H, Grant E (2004) A two-way modeling approach to architectural design based on reusable specifications. In: The international conference on software engineering research and practice, Las Vegas, June 2004"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Tracz W (1995) DSSA (domain-specific software architecture) pedagogical example. Software Eng Notes","DOI":"10.1145\/219308.219318"},{"key":"17_CR18","unstructured":"Zhu H, He X (2000) A theory of testing high-level Petri nets. In: Proc. of the IFIP 16th world computer congress, Beijing, China, August, 2000"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-0017-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-006-0017-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-0017-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:23:53Z","timestamp":1559384633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-006-0017-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2,24]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,3,16]]}},"alternative-id":["17"],"URL":"https:\/\/doi.org\/10.1007\/s11227-006-0017-0","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2,24]]}}}