{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:11:14Z","timestamp":1737349874795,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_6","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:29:50Z","timestamp":1186421390000},"page":"62-75","source":"Crossref","is-referenced-by-count":7,"title":["Timing Analysis of UML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Li","family":"Xuandong","sequence":"first","affiliation":[]},{"given":"Cui","family":"Meng","sequence":"additional","affiliation":[]},{"given":"Pei","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Zhao","family":"Jianhua","sequence":"additional","affiliation":[]},{"given":"Zheng","family":"Guoliang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Jeannette M. Wing and Mandana Vaziri-Farahani. Model Checking Software Systems: A Case Study. In Porc. SIGSOFT\u201995, Washington, D.C., USA, 1995.","DOI":"10.1145\/222124.222148"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Gerard J. Holzmann and Margaret H. Smith. Software Model Checking: Extracting Verification Models from Source Code. In Proceedings of 12th International Conference on Formal Description Techniques FORTE\/PSTV\u201999, Beijing, China, October 1999, Chapman & Hall.","DOI":"10.1007\/978-0-387-35578-8_28"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"David Y. W. Park, Ulrich Stern, Jens U. Skakebak, and David L. Dill. Java Model Checking. In Proceedings of the First International Workshop on Automated Program Analysis, Testing, and Verification, 2000.","DOI":"10.1109\/ASE.2000.873671"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Klaus Havelund and Thomas Pressburger. Model checking JAVA programs using JAVA PathFinder. In International Journal on Software Tools for Technology Transfer, (2000) 2: 366\u2013381.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"6_CR5","unstructured":"Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking, The MIT Press, 1999."},{"key":"6_CR6","unstructured":"Grady Booch and James Rumbaugh and Ivar Jacobson. The Unified Modeling Language User Guide, Addison-Wesley, 1998."},{"key":"6_CR7","unstructured":"J. Rumbaugh and I. Jacobson and G. Booch. The Unified Modeling Language Reference Manual, Addison-Wesley, 1999."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Rajeev Alur, David L. Dill. A theory of timed automata. In Theoretical Computer Science, 126(1994), pp.183\u2013235.","DOI":"10.1016\/0304-3975(94)90010-8"},{"issue":"3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and M. Diza. Modelling and verification of time dependent systems using time Petri nets. In IEEE Transactions on Software Engineering, 17(3):259\u2013273, March 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proc. International UML Workshop","author":"J. Seemann","year":"1998","unstructured":"J. Seemann, J. WvG. Extension of UML Sequence Diagrams for Real-Time Systems. In Proc. International UML Workshop, Lecture Notes in Computer Science, Springer, 1998."},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/3-540-46852-8_46","volume-title":"UML\u201999-The Unified Modeling Language","author":"X. Li","year":"1999","unstructured":"Xuandong Li, Johan Lilius. Timing Aanlysis of UML Sequence Diagrams. In Robert France, Bernhard Rumpe (Eds.), UML\u201999-The Unified Modeling Language, Lecture Notes in Computer Science 1723, Springer, 1999, pp.661\u2013674."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Xuandong Li, Johan Lilius. Checking UML Sequence Diagrams for Timing Inconsistency. In Proceedings of 7th Asia Pacific Software Engineering Conference, IEEE Computer Society Press, 2000, pp.154\u2013161.","DOI":"10.1109\/APSEC.2000.896694"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:35:46Z","timestamp":1737347746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}