{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:06:07Z","timestamp":1725534367982},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024566"},{"type":"electronic","value":"9783642024573"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02457-3_3","type":"book-chapter","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:54:56Z","timestamp":1246960496000},"page":"29-42","source":"Crossref","is-referenced-by-count":14,"title":["Verification of Use Case with Petri Nets in Requirement Analysis"],"prefix":"10.1007","author":[{"given":"Jinqiang","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1234741.1234753","volume":"32","author":"B. Bastani","year":"2007","unstructured":"Bastani, B.: A Requirements Analysis Framework for Open Systems Requirements Engineering. ACM SIGSOFT Software Engineering Notes\u00a032, 1\u201319 (2007)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"12","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1109\/32.738342","volume":"24","author":"W.J. Lee","year":"1998","unstructured":"Lee, W.J., Cha, S.D., Kwon, Y.R.: Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering. IEEE Transactions on Software Engineering\u00a024(12), 1115\u20131130 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-39893-6_6","volume-title":"Formal Methods and Software Engineering","author":"W. Shen","year":"2003","unstructured":"Shen, W., Liu, S.: Formalization, Testing and Execution of a Use Case Diagram. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 68\u201385. Springer, Heidelberg (2003)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal Approach to Scenario Analysis. IEEE Software, 33\u201341 (March 1994)","DOI":"10.1109\/52.268953"},{"key":"3_CR5","unstructured":"Andersson, M., Bergstrand, J.: Formalizing Use Cases with Message Sequence Charts. Master\u2019s thesis. Lund Inst. of Technology (1995)"},{"key":"3_CR6","unstructured":"Shen, W., Guizani, M., Yang, Z., Compton, K., Huggins, J.: Execution of A Requirement Model in Software Development. In: Proceeding of IASSE 2004, Nice, France, pp. 203\u2013208 (2004)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Li, X., Liu, Z., He, J.: Formal and Use-Case Driven Requirement Analysis in UML. In: 25th Annual International Computer Software and Applications Conference, 2001. COMPSAC 2001, Chicago, IL, USA, pp. 215\u2013224 (2001)","DOI":"10.1109\/CMPSAC.2001.960619"},{"key":"3_CR8","unstructured":"OMG. Model Driven Architecture (MDA)- document number ormsc\/2001-07-01 (2001)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Postel, J.B.: RFC 821: Simple Mail Transfer Protocol (1982)","DOI":"10.17487\/rfc0821"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Toyama, T., Ohnishi, A.: Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering 2005, Paris, pp. 319\u2013328 (2005)","DOI":"10.1109\/RE.2005.63"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Ohnishi, A., Hui, Z.H., Fujimoto, H.: Transformation and Integration Method of Scenarios. In: Proceedings of 26th IEEE International Computer Software and Applications Conference (COMPSAC 2002), Oxford, England, August 26-29, pp. 224\u2013229 (2002)","DOI":"10.1109\/CMPSAC.2002.1044556"},{"key":"3_CR12","first-page":"184","volume-title":"TOOLS 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems","author":"L. Li","year":"1999","unstructured":"Li, L.: A Semi-Automatic Approach to Translating Use Cases to Sequence Diagrams. In: TOOLS 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, pp. 184\u2013193. IEEE Computer Society, Nancy (1999)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1999","unstructured":"Murata, T.: Petri nets: Properties, analysis, and applications. Proceeding of the IEEE\u00a077(4), 541\u2013580 (1999)","journal-title":"Proceeding of the IEEE"},{"key":"3_CR14","unstructured":"Krogh, B.H.: Controlled Petri Nets and Maximally Permissive Feedback Logic. In: Proceeding of the 25th Annual Allerton Conference, pp. 317\u2013326 (1987)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0042308","volume-title":"Discrete Event Systems: Models and Applications","author":"A. Ichikawa","year":"1988","unstructured":"Ichikawa, A., Hiraishi, K.: Analysis and Control of Discrete Event Systems represented by Petri Nets. In: Discrete Event Systems: Models and Applications. LNCS, vol.\u00a0103, pp. 115\u2013134. Springer, New York (1988)"},{"key":"3_CR16","unstructured":"PIPE2, Platform Independent Petri net Editor 2, http:\/\/pipe2.sourceforge.net"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Lanubile, F., Shull, F., Basili, V.R.: Experimenting with Error Abstraction in Requirements Documents. In: Proceeding of the 5th international symposium on software metrics, pp. 114\u2013121 (1998)","DOI":"10.1109\/METRIC.1998.731236"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11767589_2","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"J. Campos","year":"2006","unstructured":"Campos, J., Merseguer, J.: On the Integration of UML and Petri Nets in Software Development. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 19\u201336. Springer, Heidelberg (2006)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Boccalatte, A., Giglio, D., Paolucci, M.: A CASE Tool for Information System Project and Development. In: Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, Tokyo, Japan, vol.\u00a03, pp. 1042\u20131047 (1999)","DOI":"10.1109\/ICSMC.1999.823372"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Lee, J., Pan, J.-I., Kuo, J.-Y., Fanjiang, Y.-Y., Yang, S.: Towards the Verification of Scenarios with Time Petri-Nets. In: Proceeding of the 24th Annual International Conference on Computer Software and Application, Taipei, Taiwan, pp. 503\u2013508 (2000)","DOI":"10.1109\/CMPSAC.2000.884773"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02457-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T04:24:09Z","timestamp":1558412649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02457-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024566","9783642024573"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02457-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}