{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T00:05:33Z","timestamp":1717632333149},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s11432-014-5159-8","type":"journal-article","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T18:41:40Z","timestamp":1418150500000},"page":"1-17","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated transformations from UML behavior models to contracts"],"prefix":"10.1007","volume":"57","author":[{"given":"Dan","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"XiaoShan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZhiMing","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,10]]},"reference":[{"key":"5159_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/FOSE.2007.14","volume-title":"2007 Future of Software Engineering (FOSE 07)","author":"R France","year":"2007","unstructured":"France R, Rumpe B. Model-driven development of complex software: A research roadmap. In: Lionel C B, Alexander L W, eds. 2007 Future of Software Engineering (FOSE 07). Minnesota: IEEE, 2007. 37\u201354"},{"key":"5159_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D Schmidt","year":"2006","unstructured":"Schmidt D. Model-driven engineering. IEEE Comput, 2006, 39: 25\u201331","journal-title":"IEEE Comput"},{"key":"5159_CR3","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1147\/sj.453.0451","volume":"45","author":"B Hailpern","year":"2006","unstructured":"Hailpern B, Tarr P. Model-driven development: The good, the bad, and the ugly. IBM Syst J, 2006, 45: 451\u2013461","journal-title":"IBM Syst J"},{"key":"5159_CR4","volume-title":"Unified Modeling Language: Superstructure, version 2.4.1","author":"OMG.","year":"2011","unstructured":"OMG. Unified Modeling Language: Superstructure, version 2.4.1. Aug. 2011. http:\/\/www.omg.org\/spec\/UML\/2.4\/Superstructure"},{"key":"5159_CR5","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C Larman","year":"2005","unstructured":"Larman C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 3rd ed. New Jersey: Prentice-Hall, 2005","edition":"3rd ed"},{"key":"5159_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s11704-012-2901-5","volume":"6","author":"W Ke","year":"2012","unstructured":"Ke W, Li X S, Liu Z M, et al. rCOS: A formal model-driven engineering method for component-based software. Front Comput Sci China, 2012, 6: 17\u201339","journal-title":"Front Comput Sci China"},{"key":"5159_CR7","first-page":"2","volume-title":"Proceedings of First International Conference on Software Engineering and Formal Methods (SEFM 03)","author":"R G Dromey","year":"2003","unstructured":"Dromey R G. From requirements to design: Formalizing the key steps. In: Antonio C, Peter L, eds. Proceedings of First International Conference on Software Engineering and Formal Methods (SEFM 03). Brisbane: IEEE, 2003. 2\u201311"},{"key":"5159_CR8","first-page":"175","volume-title":"JML: A notation for detailed design. Kluwer International Series in Engineering and Computer Science","author":"G Leavens","year":"1999","unstructured":"Leavens G, Baker A, Ruby C. JML: A notation for detailed design. Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers Group, 1999. 175\u2013188"},{"key":"5159_CR9","volume-title":"Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, version 1.1","author":"OMG. Meta","year":"2011","unstructured":"OMG. Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification, version 1.1. Jan. 2011"},{"key":"5159_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1921532.1921563","volume":"36","author":"D Li","year":"2011","unstructured":"Li D, Li X S, Stolz V. QVT-based model transformation using XSLT. SIGSOFT Softw Eng Notes, 2011, 36: 1\u20138","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"5159_CR11","first-page":"22","volume":"2","author":"J Ali","year":"2001","unstructured":"Ali J, Tanaka J. Implementing the dynamic behavior represented as multiple state diagrams and activity diagrams. J Comput Sci Inf Manage, 2001, 2: 22\u201334","journal-title":"J Comput Sci Inf Manage"},{"key":"5159_CR12","volume-title":"XSL Transformations (XSLT) Version 2.0, W3C Recommendation","author":"www Consortium","year":"2007","unstructured":"www Consortium, XSL Transformations (XSLT) Version 2.0, W3C Recommendation. Jan. 2007. http:\/\/www.w3.org\/TR\/2007\/REC-xslt20-20070123\/"},{"key":"5159_CR13","series-title":"LNCS","first-page":"387","volume-title":"Proceedings of 3rd Intl. Symp. on Fundamentals of Software Engineering (FSEN 2009)","author":"Z B Chen","year":"2010","unstructured":"Chen Z B, Morisset C, Stolz V. Specification and validation of behavioural protocols in the rCOS modeler. In: Proceedings of 3rd Intl. Symp. on Fundamentals of Software Engineering (FSEN 2009), Springer, 2010. LNCS 5961: 387\u2013401"},{"key":"5159_CR14","volume-title":"Communicating Sequential Processes","author":"C A R Hoare","year":"1985","unstructured":"Hoare C A R. Communicating Sequential Processes. New Jersey: Prentice-Hall, 1985"},{"key":"5159_CR15","volume-title":"FDR2 User Manual","author":"Formal Systems Europe Ltd.","year":"2005","unstructured":"Formal Systems (Europe) Ltd. FDR2 User Manual, 2005. http:\/\/www.fsel.com"},{"key":"5159_CR16","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/RE.2006.25","volume-title":"Proceedings of the 14th IEEE International Conference on Requirements Engineering","author":"J Whittle","year":"2006","unstructured":"Whittle J, Jayaraman P. Generating hierarchical state machines from use case charts. In: Martin G, Robyn L, eds. Proceedings of the 14th IEEE International Conference on Requirements Engineering. Minneapolis: IEEE, 2006. 19\u201328"},{"key":"5159_CR17","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1023\/A:1025890110119","volume":"24","author":"D Amyot","year":"2003","unstructured":"Amyot D, Eberlein A. An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommun Syst, 2003, 24: 61\u201394","journal-title":"Telecommun Syst"},{"key":"5159_CR18","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1138953.1138956","volume-title":"Proceedings of 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools","author":"H Liang","year":"2006","unstructured":"Liang H, Dingel J, Diskin Z. A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. ACM, 2006. 5\u201312"},{"key":"5159_CR19","first-page":"8","volume":"19","author":"J Whittle","year":"2010","unstructured":"Whittle J, Jayaraman P. Synthesizing hierarchical state machines from expressive scenario descriptions. ACM T Softw Eng Meth, 2010, 19: 8","journal-title":"ACM T Softw Eng Meth"},{"key":"5159_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5381\/jot.2011.10.1.a8","volume":"10","author":"R Gr\u00f8nmo","year":"2011","unstructured":"Gr\u00f8nmo R, M\u00f8ller-Pedersen B. From UML 2 sequence diagrams to state machines by graph transformation. J Object Technol, 2011, 10: 1\u201322","journal-title":"J Object Technol"},{"key":"5159_CR21","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/ICSE.2004.1317446","volume-title":"Proceedings of the 26th International Conference on Software Engineering","author":"T Ziadi","year":"2004","unstructured":"Ziadi T, Helouet L, Jezequel J. Revisiting statechart synthesis with an slgebraic approach. In: Proceedings of the 26th International Conference on Software Engineering. Edinburgh: IEEE, 2004. 242\u2013251"},{"key":"5159_CR22","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/MOMPES.2007.12","volume-title":"Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 07)","author":"B Graaf","year":"2007","unstructured":"Graaf B, Deursen A V. Model-driven consistency checking of behavioural specifications. In: Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 07). Braga: IEEE, 2007. 115\u2013126"},{"key":"5159_CR23","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","volume-title":"Formal Methods in Software and Systems Modeling","author":"D Harel","year":"2005","unstructured":"Harel D, Kugler H, Pnueli A. Synthesis revisited: Generating statechart models from scenario-based requirements. In: Formal Methods in Software and Systems Modeling. Berlin: Springer, 2005. LNCS 3393: 309\u2013324"},{"key":"5159_CR24","doi-asserted-by":"crossref","first-page":"970","DOI":"10.1016\/j.jcss.2011.08.008","volume":"78","author":"D Harel","year":"2012","unstructured":"Harel D, Segall I. Synthesis from scenario-based specifications. J Comput Syst Sci, 2012, 78: 970\u2013980","journal-title":"J Comput Syst Sci"},{"key":"5159_CR25","first-page":"8","volume-title":"Proceedings of 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa\u201909)","author":"I Porres","year":"2009","unstructured":"Porres I, Rauf I. Generating class contracts from UML protocol statemachines. In: Proceedings of 6th International Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa\u201909). ACM, 2009. 8"},{"key":"5159_CR26","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1007\/978-3-540-69507-3_71","volume-title":"Proceedings of 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2007)","author":"X Chen","year":"2007","unstructured":"Chen X, Liu Z M, Mencl V. Separation of concerns and consistent integration in requirements modelling. In: Proceedings of 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2007). Berlin: Springer, 2007. LNCS 4362: 819\u2013831"},{"key":"5159_CR27","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-3-642-35743-5_7","volume-title":"Proceedings of Formal Aspects of Component Software (FACS 11)","author":"D Li","year":"2012","unstructured":"Li D, Li X S, Liu Z M, et al. Interactive transformations from object-oriented models to component-based models. In: Proceedings of Formal Aspects of Component Software (FACS 11). Berlin: Springer, 2012. LNCS 7253: 97\u2013114"},{"key":"5159_CR28","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/ASWEC.2013.31","volume-title":"Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013)","author":"D Li","year":"2013","unstructured":"Li D, Li X S, Liu Z M, et al. Support formal component-based development with UML profile. In: Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013). Melbourne: IEEE, 2013. 191\u2013200"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5159-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-014-5159-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5159-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T19:14:42Z","timestamp":1717614882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-014-5159-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":28,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["5159"],"URL":"https:\/\/doi.org\/10.1007\/s11432-014-5159-8","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]}}}