Formalization of {UML} state machines using temporal logic

 

Abstract

Citation

Please, cite this work as:

[REG04] C. Rossi, M. Enciso, and I. P. de Guzmán. “Formalization of UML state machines using temporal logic”. In: Softw. Syst. Model. 3.1 (2004), pp. 31-54. DOI: 10.1007/S10270-003-0029-7. URL: https://doi.org/10.1007/s10270-003-0029-7.

BibTeX

@Article{Rossi2004,
     author = {Carlos Rossi and Manuel Enciso and Inmaculada Perez {de Guzm{’a}n}},
     journal = {Softw. Syst. Model.},
     title = {Formalization of {UML} state machines using temporal logic},
     year = {2004},
     number = {1},
     pages = {31–54},
     volume = {3},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/sosym/RossiEG04.bib},
     doi = {10.1007/S10270-003-0029-7},
     timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
     url = {https://doi.org/10.1007/s10270-003-0029-7},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

7

CITATIONS

7 Total citations

0 Recent citations

1.6 Field Citation Ratio

n/a Relative Citation Ratio

• Citations
• CrossRef - Citation Indexes: 5

• Captures
• Mendeley - Readers: 22

-

see details

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] A. Belghiat, A. Chaoui, M. Maouche, et al. “Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis”. In: Information and Software Technologies. Springer International Publishing, 2014, p. 236–247. ISBN: 9783319119588. DOI: 10.1007/978-3-319-11958-8_19. URL: http://dx.doi.org/10.1007/978-3-319-11958-8_19.

[2] M. Gogolla, P. Ziemann, and S. Kuske. “Towards an Integrated Graph Based Semantics for UML”. In: Electronic Notes in Theoretical Computer Science 72.3 (Feb. 2003), p. 160–175. ISSN: 1571-0661. DOI: 10.1016/s1571-0661(04)80619-4. URL: http://dx.doi.org/10.1016/s1571-0661(04)80619-4.

[3] G. Graw and P. Herrmann. “Transformation and Verification of Executable UML Models”. In: Electronic Notes in Theoretical Computer Science 101 (Nov. 2004), p. 3–24. ISSN: 1571-0661. DOI: 10.1016/j.entcs.2004.09.006. URL: http://dx.doi.org/10.1016/j.entcs.2004.09.006.

[4] M. Kezai and A. Khababa. “Generating Maude Specifications from M-UML Statechart Diagrams”. In: Journal of Advanced Computational Intelligence and Intelligent Informatics 26.1 (Jan. 2022), p. 8–16. ISSN: 1343-0130. DOI: 10.20965/jaciii.2022.p0008. URL: http://dx.doi.org/10.20965/jaciii.2022.p0008.

[5] R. Klimek. Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification. 2014. DOI: 10.48550/ARXIV.1402.1985. URL: https://arxiv.org/abs/1402.1985.

[6] S. Kuske, M. Gogolla, H. Kreowski, et al. “Towards an integrated graph-based semantics for UML”. In: Software & Systems Modeling 8.3 (Aug. 2008), p. 403–422. ISSN: 1619-1374. DOI: 10.1007/s10270-008-0101-4. URL: http://dx.doi.org/10.1007/s10270-008-0101-4.

[7] M. S. Lund, A. Refsdal, and K. Stølen. “4 Semantics of UML Models for Dynamic Behavior: A Survey of Different Approaches”. In: Model-Based Engineering of Embedded Real-Time Systems. Springer Berlin Heidelberg, 2010, p. 77–103. ISBN: 9783642162770. DOI: 10.1007/978-3-642-16277-0_4. URL: http://dx.doi.org/10.1007/978-3-642-16277-0_4.

[8] C. Rossi, M. Enciso, and Á. Mora. “A First Order Temporal Logic for Behavior Representation”. In: Advances in Artificial Intelligence – IBERAMIA 2004. Springer Berlin Heidelberg, 2004, p. 408–418. ISBN: 9783540304982. DOI: 10.1007/978-3-540-30498-2_41. URL: http://dx.doi.org/10.1007/978-3-540-30498-2_41.

[9] V. C. Storey, R. Lukyanenko, and A. Castellanos. “Conceptual Modeling: Topics, Themes, and Technology Trends”. In: ACM Computing Surveys 55.14s (Jul. 2023), p. 1–38. ISSN: 1557-7341. DOI: 10.1145/3589338. URL: http://dx.doi.org/10.1145/3589338.