{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T16:11:04Z","timestamp":1708013464427},"reference-count":20,"publisher":"International Academy Publishing (IAP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.17706\/jsw.10.5.499-523","type":"journal-article","created":{"date-parts":[[2015,9,21]],"date-time":"2015-09-21T07:29:20Z","timestamp":1442820560000},"page":"499-523","source":"Crossref","is-referenced-by-count":6,"title":["Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation"],"prefix":"10.17706","volume":"10","author":[{"given":"Razib","family":"Hayat Khan","sequence":"first","affiliation":[]},{"given":"Poul","family":"E. Heegaard","sequence":"additional","affiliation":[]}],"member":"7163","reference":[{"key":"ref1","volume-title":"Symbolic hierarchical automated reliability \/ performance evaluator (sharpe)","author":"Trivedi","year":"2012","unstructured":"[3] Trivedi, K. S., & Sahner, R. (2012). Symbolic hierarchical automated reliability \/ performance evaluator (sharpe), Duke University."},{"key":"ref2","article-title":"From UML activity diagrams to SPN: application to software performance engineering.","volume-title":"Proceedings of the 4th International Conference on Software and Performance","author":"Lopez","year":"2004","unstructured":"[4] Lopez, G., Merseguer, J., & Campos, J. (2004). From UML activity diagrams to SPN: application to software performance engineering. Proceedings of the 4th International Conference on Software and Performance."},{"key":"ref3","article-title":"Modeling performance as an aspect: A UML based approach.","volume-title":"Proceedings of the 4th Workshop on AOSD Modeling with UML","author":"Cooper","year":"2003","unstructured":"[5] Cooper, K., Dai, L., & Deng, Y. (2003). Modeling performance as an aspect: A UML based approach. Proceedings of the 4th Workshop on AOSD Modeling with UML."},{"key":"ref4","article-title":"Experimenting formal methods through UML.","volume-title":"Proceedings of the Brazilian Workshop on Formal Methods","author":"Moura","year":"2003","unstructured":"[6] Moura, P., Borges, R., & Mota, A. (2003). Experimenting formal methods through UML. Proceedings of the Brazilian Workshop on Formal Methods."},{"key":"ref5","volume-title":"The Object Constraint Language","author":"Warmer","year":"1999","unstructured":"[7] Warmer, J., & Kleppe, A. (1999). The Object Constraint Language: Precise Modeling with UML. Addison-Wesley."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4304\/jnw.5.12.1410-1416"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2007.10.002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/350391.350404"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/iti.2001.937990"},{"key":"ref10","article-title":"A comparison of petri net & activity diagram variants.","volume-title":"Proceedings of the Collaboration on Petri Net Technologies for Modeling Communication Based Systems","author":"Eshuis","year":"2001","unstructured":"[13] Eshuis, R., & Wieringa, R. (2001). A comparison of petri net & activity diagram variants. Proceedings of the Collaboration on Petri Net Technologies for Modeling Communication Based Systems."},{"key":"ref11","first-page":"14","volume-title":"Applying the UML performance profile","author":"Petriu","year":"2001","unstructured":"[14] Petriu, D. & Shen, H. (2001). Applying the UML performance profile: Graph grammar based deviation of LQN models from UML specifications. Tools, pp. 14-17."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348057"},{"key":"ref13","article-title":"Predictive performance analysis for distributed systems\u2013PERMABASE.","volume-title":"Proceedings of the Workshop on Software Performance Predication Extracted from Design","author":"Akehurst","year":"1999","unstructured":"[17] Akehurst, D. et al. (1999). Predictive performance analysis for distributed systems\u2013PERMABASE. Proceedings of the Workshop on Software Performance Predication Extracted from Design."},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2005.05.007"},{"key":"ref15","first-page":"1","article-title":"Performance by Unified Model Analysis (PUMA).","volume-title":"Proceedings of the 5th International Conference on Software and Performance","author":"Petriu","year":"2005","unstructured":"[19] Petriu, C. et al. (2005). Performance by Unified Model Analysis (PUMA). Proceedings of the 5th International Conference on Software and Performance (pp. 1-12)."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/wi-iatw.2006.121"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68642-2_20"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22170-5_3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(92)90007-A"},{"key":"ref20","first-page":"194","article-title":"Formalizing collaboration-oriented service specifications using temporal logic.","volume-title":"Proceedings of the International Conference on Networking and Electronic Commerce Research Conference","author":"Kraemer","year":"2007","unstructured":"[29] Kraemer, F. A. & Herrmann, P. (2007). Formalizing collaboration-oriented service specifications using temporal logic. Proceedings of the International Conference on Networking and Electronic Commerce Research Conference (pp. 194-220)."}],"container-title":["Journal of Software"],"original-title":["Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation"],"link":[{"URL":"http:\/\/www.jsoftware.us\/vol10\/42-jsw140308-1144.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2015,10,21]],"date-time":"2015-10-21T07:03:45Z","timestamp":1445411025000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jsoftware.us\/index.php?m=content&c=index&a=show&catid=152&id=2323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,5]]}},"URL":"https:\/\/doi.org\/10.17706\/jsw.10.5.499-523","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2015,5]]}}}