Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach

Cardenas, Hector; Lail, Mustafa Al

doi:10.1109/models-c59198.2023.00071

2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) 2023

DOI: 10.1109/models-c59198.2023.00071

|View full text |Cite

Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach

Hector Cardenas,

Mustafa Al Lail

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Article2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Conceptual modelling of temporality and subjectivity as cross-cutting concerns

Gonzalez-Perez

2024

Softw Syst Model

View full text Add to dashboard Cite

Conceptual models represent the world, but the world changes over time, and is different, to some extent, depending on who you ask. To cater for these aspects, conceptual models must address the representation of temporality and subjectivity. Although some work has been done to incorporate these aspects into conceptual modelling languages, no mainstream language incorporates explicit support for temporality and subjectivity in relation to the existence and predication on the represented entities. In this article, I propose an approach to conceptualising and implementing temporality and subjectivity into conceptual modelling languages as cross-cutting aspects that provide built-in language primitives to the modeller while not imposing any particular manner to represent time or subjects. The approach has been adopted by ConML, a conceptual modelling language geared towards the humanities and social sciences, implemented in the Bundt software tool, and applied to a number of research projects.

show abstract

Conceptual modelling of temporality and subjectivity as cross-cutting concerns

Gonzalez-Perez

2024

Softw Syst Model

View full text Add to dashboard Cite

show abstract

Taming the frame problem: an automated approach for robust UML class diagram specification and verification

Rosales Viesca,

Al Lail

2024

Innovations Syst Softw Eng

View full text Add to dashboard Cite

It is vital to have precise specifications and verification of UML class diagrams to ensure the correctness of complex software systems. However, current specification and verification methods often face a challenge known as the frame problem. This problem occurs due to incomplete operation specifications that can lead to unintended system behavior. To tackle this issue, we have developed an automated solution to autonomously identify and define frame conditions, effectively minimizing the frame problem’s impact on class diagram verification. Frame conditions are explicit contracts that meticulously outline the permissible effects of operations within the system. Our approach carefully analyzes the behavioral blueprint of a class diagram and extracts crucial information to create these conditions. Through rigorous evaluations encompassing diverse UML diagrams and simulated execution scenarios, we have demonstrated the effectiveness of our approach in preventing unintended system behavior caused by the frame problem. We have integrated the approach into the Temporal Property Validator tool, empowering practitioners to leverage its benefits for practical class diagram specification and verification.

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach

Cited by 2 publications

References 16 publications

Conceptual modelling of temporality and subjectivity as cross-cutting concerns

Conceptual modelling of temporality and subjectivity as cross-cutting concerns

Taming the frame problem: an automated approach for robust UML class diagram specification and verification

Contact Info

Product

Resources

About