{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T04:44:01Z","timestamp":1649047441948},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,7,29]],"date-time":"2009-07-29T00:00:00Z","timestamp":1248825600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s11334-009-0098-z","type":"journal-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T09:02:55Z","timestamp":1248771775000},"page":"255-264","source":"Crossref","is-referenced-by-count":0,"title":["Use of a lightweight formal method to model the static aspects of state machines"],"prefix":"10.1007","volume":"5","author":[{"given":"Fernando","family":"Valles-Barajas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,29]]},"reference":[{"key":"98_CR1","unstructured":"Aredo D (2000) Semantics of uml statecharts in pvs. In: Proceedings of the 12th nordic workshop on programming theory (NWPT00)"},{"key":"98_CR2","volume-title":"UML","author":"S Bennett","year":"2005","unstructured":"Bennett S, Skelton J, Lunn K (2005) UML. Schaums outlines, USA"},{"key":"98_CR3","unstructured":"Fowler M (2003) UML distilled: a brief guide to the standard object modeling language, 3rd edn. Addison-Wesley"},{"key":"98_CR4","doi-asserted-by":"crossref","unstructured":"Fuentes JM, Quintana V, Llorens J, Genova G, Prieto-Diaz R (2003) Errors in the uml metamodel? In: ACM SIGSOFT software engineering notes","DOI":"10.1145\/966221.966236"},{"key":"98_CR5","unstructured":"IBM (2004) Object oriented analysis and design using UML. IBM, USA"},{"issue":"2","key":"98_CR6","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson D (2002) Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2): 256\u2013290","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"98_CR7","volume-title":"Software abstractions: logic, language and analysis","author":"D Jackson","year":"2006","unstructured":"Jackson D (2006) Software abstractions: logic, language and analysis. MIT Press, England"},{"key":"98_CR8","volume-title":"Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development","author":"C Larman","year":"2004","unstructured":"Larman C (2004) Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development, 3rd edn. Prentice Hall, Englewood Cliffs","edition":"3"},{"key":"98_CR9","unstructured":"OMG (2007) OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2"},{"key":"98_CR10","volume-title":"UML bible","author":"T Pender","year":"2003","unstructured":"Pender T (2003) UML bible. Wiley, New York"},{"key":"98_CR11","unstructured":"Prochnow S, Schaefer G, Bell K, Hanxleden RV (2006) Analyzing robustness of uml state machines. In: Proceedings of the workshop on modeling and analysis of real-time and embedded systems (MARTES06)"},{"key":"98_CR12","volume-title":"The unified modeling language reference manual","author":"J Rumbaugh","year":"2004","unstructured":"Rumbaugh J, Jacobson I, Booch G (2004) The unified modeling language reference manual, 2nd edn. Addison-Wesley Professional, Reading","edition":"2"},{"key":"98_CR13","doi-asserted-by":"crossref","unstructured":"Schaad A, Moffett JD (2002) A lightweight approach to specification and analysis of role based access control extensions. In: ACM SACMAT 2002, Monterey, California, USA","DOI":"10.1145\/507711.507714"},{"key":"98_CR14","unstructured":"Vaziri M, Jackson D (2000) Some shortcomings of ocl, the object constraint language of uml. In: Proceedings of the technology of object-oriented languages and systems (TOOLS 3400), Santa Barbara, California, USA, pp 555\u2013562"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0098-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-009-0098-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-009-0098-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T13:47:44Z","timestamp":1559396864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-009-0098-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,29]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["98"],"URL":"https:\/\/doi.org\/10.1007\/s11334-009-0098-z","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7,29]]}}}