{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T08:40:02Z","timestamp":1746088802480,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642539312"},{"type":"electronic","value":"9783642539329"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-53932-9_19","type":"book-chapter","created":{"date-parts":[[2013,12,20]],"date-time":"2013-12-20T05:54:07Z","timestamp":1387518847000},"page":"193-202","source":"Crossref","is-referenced-by-count":2,"title":["Trustworthy Software Development Based on Model Driven Architecture"],"prefix":"10.1007","author":[{"given":"Yang","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lanhua","family":"Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nianhua","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"OMG: MDA Guide Version 1.0.1 (2003), http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01"},{"issue":"8","key":"19_CR2","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MC.2008.304","volume":"41","author":"W.-T. Tsai","year":"2008","unstructured":"Tsai, W.-T., Zhou, X., Chen, Y., Bai, X.: On testing and evaluating service-oriented software. Computer\u00a041(8), 40\u201346 (2008)","journal-title":"Computer"},{"issue":"2","key":"19_CR3","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s11227-007-0160-2","volume":"46","author":"Y. Li","year":"2008","unstructured":"Li, Y., Song, Y.-D.: An adaptive and trustworthy software testing framework on the grid. The Journal of Supercomputing\u00a046(2), 124\u2013138 (2008)","journal-title":"The Journal of Supercomputing"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-73547-2_24","volume-title":"Autonomic and Trusted Computing","author":"Z. Yan","year":"2007","unstructured":"Yan, Z., Prehofer, C.: An Adaptive Trust Control Model for a Trustworthy Component Software Platform. In: Xiao, B., Yang, L.T., Ma, J., Muller-Schloer, C., Hua, Y. (eds.) ATC 2007. LNCS, vol.\u00a04610, pp. 226\u2013238. Springer, Heidelberg (2007)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Kun, X., Yong, G., Xing, J.: A model of trusted software based on software gene. In: Proceedings of the International Conference on Computer Science and Service System (CSSS 2011), June 27-29, pp. 990\u2013993 (2011), doi:10.1109\/csss.2011.5974720","DOI":"10.1109\/CSSS.2011.5974720"},{"key":"19_CR6","unstructured":"OMG: UML Superstructure, V2.1.2 (2007), http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Superstructure\/PDF"},{"issue":"4","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J. Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: Practice and experience. ACM Computing Surveys (CSUR)\u00a041(4), 1\u201336 (2009)","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS 1977), Providence, Rhode Island, USA, pp. 46\u201357. IEEE Computer Society (1977), doi:http:\/\/dx.doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-36103-0_30","volume-title":"Formal Methods and Software Engineering","author":"H. Yu","year":"2002","unstructured":"Yu, H., He, X., Deng, Y., Mo, L.: Formal Analysis of Real-Time Systems with SAM. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 275\u2013286. Springer, Heidelberg (2002)"},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/j.datak.2010.11.005","volume":"70","author":"Z. Xiao","year":"2011","unstructured":"Xiao, Z., Ming, Z.: A method of workflow scheduling based on colored Petri nets. Data & Knowledge Engineering\u00a070(2), 230\u2013247 (2011)","journal-title":"Data & Knowledge Engineering"},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s11227-009-0343-0","volume":"56","author":"Y. Wang","year":"2011","unstructured":"Wang, Y., Lin, C., Ungsunan, P.D., Huang, X.: Modeling and survivability analysis of service composition using Stochastic Petri Nets. The Journal of Supercomputing\u00a056(1), 79\u2013105 (2011)","journal-title":"The Journal of Supercomputing"},{"issue":"2","key":"19_CR13","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of Fifth Annual IEEE Symposium on e Logic in Computer Science (LICS), Philadelphia, PA, USA, April 06-July 06, pp. 414\u2013425. IEEE Computer Society (1990)","DOI":"10.1109\/LICS.1990.113766"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Timed Coloured Petri Nets. In: Coloured Petri Nets, pp. 231\u2013255. Springer, Heidelberg (2009)","DOI":"10.1007\/b95112_10"},{"issue":"6","key":"19_CR16","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1080\/10798587.2011.10643182","volume":"17","author":"N. Yang","year":"2011","unstructured":"Yang, N., Yu, H., Sun, H., Qian, Z.: Modeling activity diagrams with extended Petri nets. Intelligent Automation and Soft. Computing\u00a017(6), 725\u2013735 (2011)","journal-title":"Intelligent Automation and Soft. Computing"},{"key":"19_CR17","unstructured":"McMillan, K.L.: Symbolic model checking: an approach to the state explosion problem. Doctoral, Carnegie Mellon University, Pittsburgh, PA, USA (1992)"},{"key":"19_CR18","unstructured":"Yang, N., Yu, H.: Modeling and Verification of Embedded Systems Using Timed Colored Petri Net with Inhibitor Arcs. Journal of East China University of Science and Technology\u00a036(3), 411\u2013417 (2010) (in Chinese)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Kherraf, S., Lefebvre, \u00c9., Suryn, W.: Transformation from cim to pim using patterns and archetypes. In: Proceedings of the 19th Australian Conference on Software Engineering (ASWEC 2008), Perth, Australia, March 26-28, pp. 338\u2013346. IEEE Computer Society (2008)","DOI":"10.1109\/ASWEC.2008.4483222"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Zhang, T., Zhang, Y., Yu, X.-F., Wang, L.-Z., Li, X.-D.: MDA Based Design Patterns Modeling and Model Transformation. Journal of Software\u00a019(9), 2203\u20132217 (2008) (in Chinese)","DOI":"10.3724\/SP.J.1001.2008.02203"},{"key":"19_CR21","unstructured":"OMG: MOF 2.0 Query\/View\/Transformation (QVT) Specification (2008), http:\/\/www.omg.org"},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-02674-4_16","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M.A. Ameedeen","year":"2009","unstructured":"Ameedeen, M.A., Bordbar, B., Anane, R.: A Model Driven Approach to the Analysis of Timeliness Properties. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 221\u2013236. Springer, Heidelberg (2009)"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Fernandes, J.M., Tjell, S., Jorgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and uml 2.0 sequence diagrams into a coloured petri net. In: Proceedings of the Sixth International Workshop on Scenarios and State Machines, Minneapolis, MN, USA, May 20-26, p. 2. IEEE Computer Society (2007), doi:http:\/\/dx.doi.org\/10.1109\/SCESM.2007.1","DOI":"10.1109\/SCESM.2007.1"},{"issue":"1","key":"19_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921561","volume":"36","author":"C. Choppy","year":"2011","unstructured":"Choppy, C., Klai, K., Zidani, H.: Formal verification of UML state diagrams: a Petri net based approach. ACM SIGSOFT Software Engineering Notes\u00a036(1), 1\u20138 (2011)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"1","key":"19_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/974043.974048","volume":"29","author":"J.P. L\u00f3pez-Grao","year":"2004","unstructured":"L\u00f3pez-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. ACM SIGSOFT Software Engineering Notes\u00a029(1), 25\u201336 (2004)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"1","key":"19_CR26","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1504\/IJCAT.2012.050132","volume":"45","author":"N. Yang","year":"2012","unstructured":"Yang, N., Yu, H., Sun, H.: Modelling UML sequence diagrams with aspect-oriented extended Petri nets. International Journal of Computer Applications in Technology\u00a045(1), 57\u201365 (2012)","journal-title":"International Journal of Computer Applications in Technology"},{"issue":"3","key":"19_CR27","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1109\/TASE.2009.2031095","volume":"7","author":"O. Ljungkrantz","year":"2010","unstructured":"Ljungkrantz, O., \u00c5kesson, K., Fabian, M., Yuan, C.: Formal Specification and Verification of Industrial Control Logic Components. IEEE Transactions on Automation Science and Engineering\u00a07(3), 538\u2013548 (2010)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"11","key":"19_CR28","first-page":"973","volume":"39","author":"T.T. Tun","year":"2009","unstructured":"Tun, T.T., Trew, T., Jackson, M., Laney, R., Nuseibeh, B.: Specifying features of an evolving software system. Software: Practice and Experience\u00a039(11), 973\u20131002 (2009)","journal-title":"Software: Practice and Experience"},{"issue":"1","key":"19_CR29","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT)\u00a01(1), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"6","key":"19_CR30","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2005.04.009","volume":"128","author":"F. Cassez","year":"2005","unstructured":"Cassez, F., Roux, O.-H.: Structural Translation from Time Petri Nets to Timed Automata. Electronic Notes in Theoretical Computer Science\u00a0128(6), 145\u2013160 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Communications in Computer and Information Science","Information Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-53932-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T08:11:29Z","timestamp":1746087089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-53932-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642539312","9783642539329"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-53932-9_19","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}