{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T21:27:15Z","timestamp":1675805235381},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,9,1]],"date-time":"2006-09-01T00:00:00Z","timestamp":1157068800000},"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":[[2006,9]]},"DOI":"10.1007\/s11227-006-6349-y","type":"journal-article","created":{"date-parts":[[2006,8,30]],"date-time":"2006-08-30T08:31:12Z","timestamp":1156926672000},"page":"227-248","source":"Crossref","is-referenced-by-count":4,"title":["A Methodology for Architectural Design of Concurrent and Distributed Software Systems"],"prefix":"10.1007","volume":"37","author":[{"given":"Hassan","family":"Reza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6349_CR1","unstructured":"G. Abowd, R. Allen, and D. Garlan. Using Style to give meaning to software architecture. In Proceeding of SIGSOFT 93: Foundations of Software Engineering, Software Engineering Notes, ACM, 1993."},{"key":"6349_CR2","unstructured":"R. Allen and D. Garlan. The Wright Architectural Specification Language. Carnegie Mellon University. CS-96-TBD, September 1996."},{"key":"6349_CR3","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, July 1997.","DOI":"10.1145\/258077.258078"},{"key":"6349_CR4","doi-asserted-by":"crossref","unstructured":"R. Allen, D. Garlan, and J. Ockerbloom. Architectural Mismatch or Why it\u2019s hard to build systems out of existing parts. In Proceedings of International Conference on Software Engineering, 1995.","DOI":"10.1145\/225014.225031"},{"key":"6349_CR5","doi-asserted-by":"crossref","unstructured":"B. Baumgarten. On Internal and External characterizations of PT-net building block behavior; Advances in Petri Nets 1988, LNCS 1988.","DOI":"10.1007\/3-540-50580-6_23"},{"key":"6349_CR6","doi-asserted-by":"crossref","unstructured":"J. Cordy and T. Dean. A Syntactic Theory of Software Architecture. IEEE Transactions on Software Engineering, 21(4): April 1995.","DOI":"10.1109\/32.385969"},{"key":"6349_CR7","unstructured":"Y. Ding and X. He. Object Orientation in Hierarchical Predicate Transition Nets. Advanced in Petri Nets, LNCS, 2001."},{"key":"6349_CR8","doi-asserted-by":"crossref","unstructured":"A. Egyed and N. Medvidovic. A Formal Approach to Heterogeneous Software Modeling. Lecture Notes in Computer Science, 1783, 2000.","DOI":"10.1007\/3-540-46428-X_13"},{"key":"6349_CR9","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer-Verleg, Berlin, 1985."},{"key":"6349_CR10","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995."},{"key":"6349_CR11","unstructured":"D. Garlan and M. Shaw. Software Architecture: Perspective on an Emerging Discipline. Prentice Hall, 1996."},{"key":"6349_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel. On Visual Formalism. Communication of ACM, 31, 1988.","DOI":"10.1145\/42411.42414"},{"key":"6349_CR13","unstructured":"B. Hayes-Roth. Architecture-Based Acquisition and Development of Software: Guidelines and Recommendations from ARPA Domain-Specific Software Architecture (DSSA) program."},{"key":"6349_CR14","doi-asserted-by":"crossref","unstructured":"X. He, 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":"6349_CR15","doi-asserted-by":"crossref","unstructured":"X. He and J. Lee. Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. Formal Aspects of Computing, 2, 1990.","DOI":"10.1007\/BF01888226"},{"key":"6349_CR16","doi-asserted-by":"crossref","unstructured":"P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, April 1995.","DOI":"10.1109\/32.385973"},{"key":"6349_CR17","unstructured":"J. Kramer and J. Magee. Dynamic Structure in Software Architectures. In Proceeding of ACM SIGSOFT\u201996. The 4th Symposium on the Foundations of Software Eng., San Francisco, CA, October 1996."},{"key":"6349_CR18","doi-asserted-by":"crossref","unstructured":"P. Kruchten. The 4+1 View Model of Architecture. IEEE Software, November 1995.","DOI":"10.1109\/52.469759"},{"issue":"3","key":"6349_CR19","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/356850.356852","volume":"13","author":"C. Landwehr","year":"September 1981","unstructured":"C. Landwehr. Formal Models for Computer Security. ACM Computing Survey, 13(3): 247\u201378, September 1981.","journal-title":"ACM Computing Survey"},{"key":"6349_CR20","doi-asserted-by":"crossref","unstructured":"D. Luckham and J. Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, September 1995.","DOI":"10.1109\/32.464548"},{"key":"6349_CR21","unstructured":"N. Medvidovic. Architecture-Based Specification\u2013Time Software Evolution, PhD Dissertation, University of California Irvine, January 1999."},{"key":"6349_CR22","doi-asserted-by":"crossref","unstructured":"M. Moriconi, X. Qian, and R. Riemenschneider. Correct Architectural Refinement. IEEE Transactions on Software Engineering, April 1995.","DOI":"10.1109\/32.385972"},{"key":"6349_CR23","unstructured":"M. Moriconi and R. Riemenschneider. Introduction to SADL 1.0: a language for specifying software architecture hierarchies. Technical Report, Computer Science Laboratory, SRI International, 1996."},{"key":"6349_CR24","doi-asserted-by":"crossref","unstructured":"N. Medvidovic and R. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, January 2000.","DOI":"10.1109\/32.825767"},{"key":"6349_CR25","unstructured":"L. Peterson. Petri Net Theory and Modeling of the Systems. Prentice Hall, 1981."},{"key":"6349_CR26","doi-asserted-by":"crossref","unstructured":"D. Perry and A. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT. Software Engineering Notes 17(4), 1992.","DOI":"10.1145\/141874.141884"},{"key":"6349_CR27","unstructured":"H. Reza. A Framework to Specify Software Architecture of a System Based on Petri Net Pattern. PhD Dissertation, North Dakota State University, Fargo, ND, April 2002."},{"key":"6349_CR28","doi-asserted-by":"crossref","unstructured":"C. Sibertin-Blanc. A Client\/Server Protocol for the Composition of Petri Nets. The Proceeding of the 14th International Conference on Application and Theory of Petri Nets, LNCS 691, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56863-8_57"},{"key":"6349_CR29","unstructured":"M. Shaw. Patterns for Software Architecture, Addison-Wesley 1995."},{"key":"6349_CR30","unstructured":"E. Yourdon. Modern Structural Analysis, Prentice Hall 1989."},{"key":"6349_CR31","doi-asserted-by":"crossref","unstructured":"H. Muccini, A. Bertolino, and P. Inverardi. Using Software Architecture for Code Testing, IEEE Transactions on Software Engineering, 30(3), 2004.","DOI":"10.1109\/TSE.2004.1271170"},{"key":"6349_CR32","doi-asserted-by":"crossref","unstructured":"N. Soundarajan and J. Hallstrom. Responsibilities and Rewards: Specifying Design Patterns. In Proceedings of the 26th International Conference on Software Engineering (ICSE\u201904), ST. Louis, USA, May 2004.","DOI":"10.1109\/ICSE.2004.1317488"},{"issue":"2","key":"6349_CR33","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Marsan","year":"May 1984","unstructured":"M. Marsan, C. Gianni, and B. Gianfranco. A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transaction, Computer Systems, 2(2):93\u2013122, May 1984.","journal-title":"ACM Transaction, Computer Systems"},{"key":"6349_CR34","doi-asserted-by":"crossref","unstructured":"B. Nieh and S. Tavares. Modeling and Analyzing Cryptographic Protocols Using Petri Nets, Lecture Notes in Computer Science, 718, Spriner-Verlag, 1993.","DOI":"10.1007\/3-540-57220-1_69"},{"key":"6349_CR35","doi-asserted-by":"crossref","unstructured":"T. Verdickt, B. Dhoedt, F. Gielen, and P. Demeester. Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models. IEEE Transaction on Software Engineering, 31(8):2005.","DOI":"10.1109\/TSE.2005.88"},{"key":"6349_CR36","doi-asserted-by":"crossref","unstructured":"L. Deligiannidis and R. Jacob. Improving Performance of Virtual Reality Applications through Parallel Processing. The Journal of Supercomputing, Springer Science+Business Media, 33(3):2005.","DOI":"10.1007\/s11227-005-0243-x"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-6349-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-006-6349-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-006-6349-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:23:54Z","timestamp":1559370234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-006-6349-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["6349"],"URL":"https:\/\/doi.org\/10.1007\/s11227-006-6349-y","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9]]}}}