Yet another meta-model to specify non-functional properties

Marco, Antinisca Di; Pompilio, Claudio; Bertolino, Antonia; Calabrò, Antonello; Lonetti, Francesca; Sabetta, Antonino

doi:10.1145/2031746.2031751

Cited by 11 publications

(15 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Q4BPMN is an implementation of the Property Meta-Model (PMM) with which to specify the quality properties, metrics and observable events of a system [20]. Q4BPMN is implemented within MagicDraw as a design tool, and was conceived to support the specification of non-functional properties within a service choreography expressed in the BPMN notation.…”

Section: The Q4bpmn Notationmentioning

confidence: 99%

A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report

Maiden

Lockerbie

Zachos

et al. 2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

This is the accepted version of the paper.This version of the publication may differ from the final published version. Permanent repository link Abstract. [Context and motivation]Choreographies are a form of service composition in which partner services interact in a global scenario without a single point of control. The absence of an explicitly specified orchestration requires changes to requirements practices to recognize the need to optimize software services choreography and monitoring for satisfaction with system requirements. [Question/problem] We developed a requirements-led approach that aims to provide tools and processes to transform requirements expressed on service-based systems to QoS-aware choreography specifications. [Principal ideas/results] The approach is used by domain experts to specify natural language requirements on a service-based system, and by choreography designers to adapt their models to satisfy requirements more effectively. Non-functional requirements are mapped to BPMN choreography diagrams as quality properties, using the Q4BPMN notation, that support analysis and monitoring facilities.[Contribution] We report the new integrated approach and provide lessons learned from applying it to a real-world example of dynamic taxi management

show abstract

Section: The Q4bpmn Notationmentioning

confidence: 99%

A Requirements-Led Approach for Specifying QoS-Aware Service Choreographies: An Experience Report

Maiden

Lockerbie

Zachos

et al. 2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The PMM [9] defines elements and types to specify prescriptive (required) and descriptive (owned) non-functional properties that the system under validation must provide or may expose, respectively. Figure 1 reports the key concepts of the whole meta-model and how they relate with each other.…”

Section: B Pmm Conceptsmentioning

confidence: 99%

“…The ultimate vision we want to achieve is that a software developer using PMM can either retrieve from the editor repository the pre-built specification of a simple or complex property or, if not present, can build new properties and metrics of interest, using the concepts in the meta-model. More details about PMM can be found on line 2 and in [9]. In the rest of this work we focus on the EventType metamodel, which is the original contribution of this work with respect to [9].…”

Section: B Pmm Conceptsmentioning

confidence: 99%

“…More details about PMM can be found on line 2 and in [9]. In the rest of this work we focus on the EventType metamodel, which is the original contribution of this work with respect to [9]. While in the previous released version of the meta-model this specification was in fact simply defined by means of a label or string, we have now formally specified the meta-model supporting complex event definition, as we detail in the following.…”

Section: B Pmm Conceptsmentioning

confidence: 99%

“…In [9] we introduced a generic and flexible Property MetaModel (PMM) defining the abstract structure of non-functional properties that span over dependability, performance, security and trust. On top of the PMM we also defined automated procedures (in form of Model2Code transformations) [14], [4] that, starting from a PMM model, can instrument the event-based GLIMPSE monitor [5] for run-time validation and verification of non-functional properties.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Complex Events Specification for Properties Validation

Bertolino

Marco

Lonetti

2012

2012 Eighth International Conference on the Quality of Information and Communications Technology

Self Cite

View full text Add to dashboard Cite

Abstract-Run-time validation of non-functional properties becomes very important to evaluate and keep under control dynamic and evolving systems. Event-driven monitoring is a commonly adopted approach for observing and analyzing that these properties are satisfied. As the events to be observed become more and more complex, a powerful events specification language is needed. In this paper we present a complex events specification language that is included into the Property Meta-Model (PMM). It is intuitive and easy to use and at the same time machineprocessable, thus allowing for the automated run-time configuration of a model-driven event-based monitoring system. The PMM complex events specification language combines features of two existing and well-known event specification languages that are GEM and Drools Fusion, and in addition presents new features not included in the considered languages. As a proof of concept we present how the PMM complex events specification language can be used for modeling complex events excerpted from the scenarios of the CONNECT European Project.

show abstract