{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,27]],"date-time":"2022-08-27T06:28:57Z","timestamp":1661581737359},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,6,14]],"date-time":"2012-06-14T00:00:00Z","timestamp":1339632000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s10009-012-0239-9","type":"journal-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T01:34:20Z","timestamp":1341797660000},"page":"639-651","source":"Crossref","is-referenced-by-count":4,"title":["Timing analysis of MSC specifications with asynchronous concatenation"],"prefix":"10.1007","volume":"14","author":[{"given":"Minxue","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,6,14]]},"reference":[{"key":"239_CR1","unstructured":"ITU-T. Recommendation, Z120. Message Sequence Charts. International Telecommunication Union, Standardization Sector, Gen\u00e8ve, Switzerland (2000)"},{"key":"239_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Proceedings of the 10th International Conference on Concurrency Theory (CONCUR \u201999), pp. 114\u2013129. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48320-9_10"},{"key":"239_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. In: Software-Concepts and Tools, vol. 17, pp. 70\u201377. Springer, Berlin (1996)","DOI":"10.1007\/3-540-61042-1_37"},{"key":"239_CR4","doi-asserted-by":"crossref","unstructured":"Ben-Abdallah, H., Leue, S.: Timing constraints in message sequence chart specifications. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing and Verification (FORTE\/PSTV \u201997), pp. 91\u2013106. Chapman & Hall, Ltd, London (1998)","DOI":"10.1007\/978-0-387-35271-8_6"},{"key":"239_CR5","volume-title":"The Unified Modeling Language reference manual","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G. (eds): The Unified Modeling Language reference manual. Addison-Wesley Longman Ltd., Essex (1999)"},{"key":"239_CR6","unstructured":"OMG. UML2.0 Superstructure Specification. http:\/\/www.uml.org , Oct. (2005)"},{"key":"239_CR7","doi-asserted-by":"crossref","unstructured":"Seemann, J., von Gudenberg, J.W.: Extension of uml sequence diagrams for real-time systems. In: Proceedings of the First International Workshop on The Unified Modeling Language (UML \u201998), pp. 240\u2013252. Springer, Berlin (1999)","DOI":"10.1007\/978-3-540-48480-6_19"},{"key":"239_CR8","doi-asserted-by":"crossref","unstructured":"Firley, T., Huhn, M., Diethers, K., Gehrke, T., Goltz, U.: Braunschweig TU. Timed sequence diagrams and tool-based analysis\u2014a case study. In: Proceedings of the Second International Conference on UML (UML \u201999), pp. 645\u2013660. Springer, Berlin (1999)","DOI":"10.1007\/3-540-46852-8_45"},{"key":"239_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-15228-3","volume-title":"Verification and Validation in Systems Engineering: Assessing UML\/SysML Design Models","author":"M. Debbabi","year":"2010","unstructured":"Debbabi M., Hassa\u00efne F., Jarraya Y., Soeanu A.: Verification and Validation in Systems Engineering: Assessing UML\/SysML Design Models. Springer, Berlin (2010)"},{"key":"239_CR10","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/978-1-4757-3540-6","volume-title":"Software Reliability Methods","author":"D.A. Peled","year":"2001","unstructured":"Peled D.A.: Message sequence charts. In: Peled, D.A., Gries, D., Schneider, F.B. (eds) Software Reliability Methods, pp. 300\u2013305. Springer, Berlin (2001)"},{"key":"239_CR11","doi-asserted-by":"crossref","unstructured":"Li, X., Pan, M., Bu, L., Wang, L., Zhao, J.: Timing analysis of scenario-based specifications using linear programming. In: Software Testing, Verification and Reliability, vol. 22, no.2, pp. 121\u2013143. Wiley InterScience, New York (2012)","DOI":"10.1002\/stv.434"},{"key":"239_CR12","doi-asserted-by":"crossref","unstructured":"Karmarkar, N.: A new polynomial-time algorithm for linear programming. In: Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing (STOC \u201984), pp. 302\u2013311. ACM, New York (1984)","DOI":"10.1145\/800057.808695"},{"key":"239_CR13","doi-asserted-by":"crossref","unstructured":"Pan, M., Bu, L., Li, X., TASS.: Timing analyzer of scenario-based specifications. In: Proceedings of the 21th International Conference on Computer Aided Verification (CAV2009), pp. 689\u2013695. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02658-4_56"},{"key":"239_CR14","unstructured":"Eclipse\u2014The Eclipse Foundation open source community website. http:\/\/www.eclipse.org\/ (2011). Accessed 26 Sep 2011"},{"key":"239_CR15","unstructured":"TASS: Timing Analyzer of Scenario-based Specifications. http:\/\/seg.nju.edu.cn\/TASS\/ (2011). Accessed 26 Sep 2011"},{"key":"239_CR16","unstructured":"OR-Objects. OR-Objects\/index.html. http:\/\/1997.opsresearch.com\/ (2011). Accessed 26 Sep 2011"},{"key":"239_CR17","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke E., Grumberg J., Peled D.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"239_CR18","doi-asserted-by":"crossref","unstructured":"Akshay, S., Bollig, B., Gastin, P.: Automata and logics for timed message sequence charts. In: Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS \u201907), pp. 290\u2013302. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-77050-3_24"},{"key":"239_CR19","doi-asserted-by":"crossref","unstructured":"Li, X., Lilius, J.: Timing analysis of uml sequence diagrams. In: Proceedings of the Second International Conference on UML (UML \u201999), pp. 661\u2013674. Springer, Berlin (1999)","DOI":"10.1007\/3-540-46852-8_46"},{"key":"239_CR20","unstructured":"Li, X., Lilius, J.: Checking compositions of uml sequence diagrams for timing inconsistency. In: Proceedings of the Seventh Asia-Pacific Software Engineering Conference (APSEC \u201900), pp. 154\u2013161. IEEE Computer Society, New York (2000)"},{"key":"239_CR21","doi-asserted-by":"crossref","unstructured":"Zheng, T., Khendek, F.: Time consistency of MSC-2000 specifications. In: Computer Networks, vol. 42(3), pp. 303\u2013322. Elsevier, Amsterdam (2003)","DOI":"10.1016\/S1389-1286(03)00245-7"},{"key":"239_CR22","unstructured":"Akshay, S., Gastin, P., Mukund, M., Narayan Kumar, K.: Model checking time-constrained scenario-based specifications. In: Proceedings of the 30th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS\u201910), pp. 204\u2013215. Schloss Dagstuhl, Washington, DC (2010)"},{"key":"239_CR23","doi-asserted-by":"crossref","unstructured":"Alur, R., David, D.: A theory of timed automata. In: Theoretical Computer Science, vol. 126(2), pp. 183\u2013235. Elsevier, Amsterdam (1994)","DOI":"10.1016\/0304-3975(94)90010-8"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0239-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0239-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0239-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T16:55:05Z","timestamp":1642697705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0239-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,14]]},"references-count":23,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["239"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0239-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,14]]}}}