Modeling UML Template Classes with FoCaLiZe

Abbas, Messaoud; Ben-Yelles, Choukri-Bey; Rioboo, Renaud

doi:10.1007/978-3-319-10181-1_6

Cited by 6 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The transformation rules, from UML class diagram concepts into FoCaLiZe, have already been detailed in [2,[1][2][3]. First, we explain the main transformation rules needed for developing the proposed lifecycle.…”

Section: Overview Of the Proposed Approachmentioning

confidence: 99%

“…Thus, this paper proposes a partial transformation approach from UML/OCL to FoCaLiZe to ensure iterative and incremental development with the aim to enhance the maintenance phase. The proposed approach uses the mapping of UML/OCL elements developed in previous works: static aspects (of the UML/OCL models) were mapped in [1][2][3], and dynamic aspects were mapped in [4,6]. An overview of these mappings will be presented in the proposed approach section.…”

mentioning

confidence: 99%

See 1 more Smart Citation

A maintainable and iterative development approach of critical systems with FoCaLiZe

Haloua,

Abbas,

Boucherit

et al. 2024

SEES

View full text Add to dashboard Cite

The life-cycle development of critical systems follows mainly a V-cycle process overlapped with proofs and/or verification techniques. At the first development stage, a critical system must be, precisely, and as completely as possible described. Thus, it is recommended to use a graphical modeling language standard such as the Unified Modeling Language (UML) and the Object Constraint Language (OCL), to which both customers and developers could contribute. Then, the graphical design with its formal specification (requirements) is mapped into a complete formal development environment, using an MDE (Model-driven engineering) approach. The formal environment has to assess the development until the generation of a secure code. In this context, we propose a life-cycle development approach that combines UML/OCL and the FoCaLiZe formal environment for the secure development of critical systems. The proposed approach ensures essential development constraints such as strict boundaries and traceability between development phases. It also ensures a secure maintenance phase using partial transformation techniques from UML/OCL to FoCaLiZe. The latter enhances the transformation from UML/OCL into FoCaLiZe to support incremental development and assist developers in correcting modeling errors. The proposed approach is mostly dedicated to secure and maintainable lifecycle development processes of critical systems. The formal environment assesses the development process until the generation of a secure code. To illustrate the proposed approach, we present the stages of development of a constrained system controlling military objects. The development of this system uses the iterative, incremental, and maintainability stages as described by the development approach, until the generation of secure code.

show abstract

Section: Overview Of the Proposed Approachmentioning

confidence: 99%

mentioning

confidence: 99%

A maintainable and iterative development approach of critical systems with FoCaLiZe

Haloua,

Abbas,

Boucherit

et al. 2024

SEES

View full text Add to dashboard Cite

show abstract

“…Abbas et al [31] propose a bridge from UML class templates annotated with OCL constraints to a formal language to grant proper support to a part of the UML language.…”

Section: Research Papersmentioning

confidence: 99%

UML Templates Distilled

Farinha¹,

Silva

2022

IEEE Access

View full text Add to dashboard Cite

UML templates are possibly the most neglected and misused piece of knowledge in UML modelling. This subject has been disregarded in the research and practice literature and even by modelling tools providers. This paper suggests that such oblivion results from a general misunderstanding that UML templates are just graphical representations of genericity like it is found in programming languages, and from the insufficient support from the modelling tools, with a consequence of poor usage of UML templates in practice. Indeed, the capabilities and potential of UML templates are far-reaching. Increasing awareness around them could bring significant benefits for UML users, namely, higher-level abstraction and reuse. Therefore, this paper provides a distilling tutorial on UML templates to highlight their flexibility and advantages. That presentation follows a tutorial style and is supported by several illustrative examples, varying from simpler to more complex ones. This tutorial reviews the Template construct's core concepts and terminology, presents constraining classifiers and shows how to define properties and operations as template parameters. Then, it presents and discusses advanced aspects such as operation templates, parameter defaults, the relationship between binding and generalization, and the specific semantics of package templates. Furthermore, the paper discusses the related work and uncovers some of the UML templates' limitations and opportunities for improvement.INDEX TERMS Object-oriented modelling, genericity, UML, templates, UML templates.

show abstract