{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:33:21Z","timestamp":1761489201223},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642410703"},{"type":"electronic","value":"9783642410710"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41071-0_13","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T02:59:14Z","timestamp":1377831554000},"page":"179-194","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Semantics for SysML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Lucas","family":"Lima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Didier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00e1rcio","family":"Corn\u00e9lio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-16901-4_25","volume-title":"Formal Methods and Software Engineering","author":"I. Abdelhalim","year":"2010","unstructured":"Abdelhalim, I., Sharp, J., Schneider, S., Treharne, H.: Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 371\u2013387. Springer, Heidelberg (2010)"},{"key":"13_CR2","unstructured":"INCOSE\u00a0Technical Board. Systems engineering handbook. INCOSE-TP-2003-002-03 (2006)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Boufenara, S., Belala, F., Barkaoui, K.: Mapping uml 2.0 activities to zero-safe nets. Software Engineering & Applications (2010)","DOI":"10.4236\/jsea.2010.35048"},{"issue":"2-3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/s00165-003-0008-3","volume":"15","author":"J. Davies","year":"2003","unstructured":"Davies, J., Crichton, C.: Concurrency and refinement in the unified modeling language. Formal Aspects of Computing\u00a015(2-3), 118\u2013145 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626975"},{"key":"13_CR6","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S. Friedenthal","year":"2011","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco (2011)","edition":"2"},{"key":"13_CR7","unstructured":"Hoare, T., He, J.: Unifying Theories of Programming. Prentice Hall (1998)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/ECBS.2009.25","volume-title":"Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009","author":"Y. Jarraya","year":"2009","unstructured":"Jarraya, Y., Debbabi, M., Bentahar, J.: On the meaning of sysml activity diagrams. In: Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, pp. 95\u2013105. IEEE Computer Society, Washington, DC (2009)"},{"key":"13_CR9","unstructured":"Miyazawa, A., Lima, L., Cornelio, M., Iyoda, J., Cavalcanti, A.: Final Report on Combining SysML and CML. Technical Report D22.4, COMPASS Deliverable (March 2013)"},{"key":"13_CR10","unstructured":"Object Management Group. OMG Unified Modeling Language (OMG UML), superstructure, version 2.4.1. Technical report, OMG (2011)"},{"key":"13_CR11","unstructured":"Object Management Group. OMG Systems Modeling Language (OMG SysMLTM). Technical report, Object Management Group, OMG Document Number: formal\/12-06-02 (2012)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/SEAA.2009.60","volume-title":"Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009","author":"A. Raschke","year":"2009","unstructured":"Raschke, A.: Translation of uml 2 activity diagrams into finite state machines for model checking. In: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, pp. 149\u2013154. IEEE Computer Society, Washington, DC (2009)"},{"key":"13_CR13","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"key":"13_CR14","first-page":"191","volume-title":"Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2008","author":"T.S. Staines","year":"2008","unstructured":"Staines, T.S.: Intuitive mapping of uml 2 activity diagrams into fundamental modeling concept petri net diagrams and colored petri nets. In: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2008, pp. 191\u2013200. IEEE Computer Society, Washington, DC (2008)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/978-3-540-89020-1_36","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"D. Varr\u00f3","year":"2008","unstructured":"Varr\u00f3, D., et al.: Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A., et al. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088, pp. 540\u2013565. Springer, Heidelberg (2008)"},{"key":"13_CR16","unstructured":"Woodcock, J., Cavalcanti, A., Coleman, J., Didier, A., Larsen, P.G., Miyazawa, A., Oliveira, M.: CML Definition 0. Technical Report D23.1, COMPASS Deliverable (June 2012)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P., Miyazawa, A., Perry, S.: Features of CML: a Formal Modelling Language for Systems of Systems. In: Proceedings of the 7th International Conference on System of System Engineering. IEEE Systems Journal, vol.\u00a06 (2012)","DOI":"10.1109\/SYSoSE.2012.6384144"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1109\/ISCSCT.2008.379","volume-title":"Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008","author":"D. Xu","year":"2008","unstructured":"Xu, D.: et\u00a0al. Towards Formalizing UML Activity Diagrams in CSP. In: Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, vol.\u00a02, pp. 450\u2013453. IEEE Computer Society, Washington, DC (2008)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Xu, D., Miao, H., Philbert, N.: Model Checking UML Activity Diagrams in FDR. In: ACIS International Conference on Computer and Information Science, pp. 1035\u20131040 (2009)","DOI":"10.1109\/ICIS.2009.107"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41071-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:25:36Z","timestamp":1558052736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41071-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642410703","9783642410710"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41071-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}