Improving uml profile design practices by leveraging conceptual domain models

Lagarde, François; Espinoza, Huáscar; Terrier, François; Gérard, Sébastien

doi:10.1145/1321631.1321705

Cited by 47 publications

(51 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The following requirements have been identified for extensions to standard UML. These requirements are derived from the e language reference model [27] and literature on best practice in metamodel design [47,48].…”

Section: Modeling the E Languagementioning

confidence: 99%

An aspect-oriented, model-driven approach to functional hardware verification

Linehan

Clarke

2012

Journal of Systems Architecture

View full text Add to dashboard Cite

The cost of correcting errors in the design of an embedded system's hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before they are implemented involves verifying the design through either formal or more commonly, simulation-based functional verification. Performing functional verification of a hardware design requires software-based simulators and verification testbenches. However, the increasing complexity of embedded systems is contributing to testbenches that are progressively more difficult to understand, maintain, extend and reuse across projects. This paper presents an aspect-oriented domainspecific modelling language for the e hardware verification language that can be used as part of a model-based software engineering process. The modelling language is designed to produce well modularised models from which e code can be generated, thereby improving engineers ability to develop testbenches that can be more easily maintained, adapted and reused. We demonstrate the suitability of the modelling language through its application to a representative testbench from the automotive semiconductor industry.

show abstract

Section: Modeling the E Languagementioning

confidence: 99%

An aspect-oriented, model-driven approach to functional hardware verification

Linehan

Clarke

2012

Journal of Systems Architecture

View full text Add to dashboard Cite

show abstract

“…We accomplished this task following the rules in [12,21]. Moreover, we wanted to be sparing with the number of stereotypes since the goal is to provide the minimum number of artefacts to annotate the model.…”

Section: Secam Profilementioning

confidence: 99%

“…In contrast with [12], we avoided to add a tagged value and an OCL constraint to represent the association-end between Attack and Vulnerable classes. We chose this solution because the association is implicit in the SecaIntrusion complex type through its attributes origin and cause.…”

Section: Secam Profilementioning

confidence: 99%

Modelling and analysing resilience as a security issue within UML

Rodríguez

Merseguer

Bernardi

2010

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

Modelling system security is not common practise in software projects yet. Among other problems, there is not a widely accepted methodology which unifies the actual heterogeneity of security issues when addressing a whole security specification. Certainly, the reality is even worse since there is not an accepted or standard common notation for carrying out the security specification. In this work, we study how modelling security issues, specifically resilience, could be integrated in the MARTE-DAM framework, which allows the expression of performance and dependability requirements in UML models. We base this claim on the close relationship between security and dependability. Indeed, MARTE proposes a framework for non-functional properties specification (NFP), while DAM exploits it for dependability purposes. So, our goal is to take advantage of the common NFP framework while the dependability and security concerns are modelled in a unified view. On the other hand, we consider that the resulting security specification will be useful for developing model in which security related properties, such as availability, will be analysed. We will clarify these claims by means of an example.

show abstract

“…Selic [16] proposes the separation of the domain modeling phase and the mapping, but does not provide any guidelines for this mapping. Other studies [17,18] propose patterns which are based on few types of relationships that may exist between domain elements and the corresponding meta-classes. However these guidelines focus on specific scenarios and do not provide a general solution to the mapping problem.…”

Section: A Lessons Learnedmentioning

confidence: 99%

A UML-Based Domain Specific Modeling Language for the Availability Management Framework

Salehi

Hamoud-Lhadj

Colombo

et al. 2010

2010 IEEE 12th International Symposium on High Assurance Systems Engineering

View full text Add to dashboard Cite

Abstract-The Service Availability Forum (SA Forum) is a consortium of several telecommunications and computing companies that defines standard solutions for high availability platforms. One of the most important SA Forum services is the Availability Management Framework (AMF) which is responsible for managing the availability of an application running under its control. To achieve this, AMF requires a complete configuration, which consists of several entities organized according to AMF rules and constraints. In this paper, we argue that AMF concepts form a domain for which a domain-specific modeling language can greatly facilitate the generation, analysis and the management of AMF configurations. We define such a language by extending UML through its profiling mechanism and we implement it. More important, we discuss the challenges and the lessons learned in the course of this project.

show abstract

Improving uml profile design practices by leveraging conceptual domain models

Cited by 47 publications

References 1 publication

An aspect-oriented, model-driven approach to functional hardware verification

An aspect-oriented, model-driven approach to functional hardware verification

Modelling and analysing resilience as a security issue within UML

A UML-Based Domain Specific Modeling Language for the Availability Management Framework

Contact Info

Product

Resources

About