Tool-Supported Development with Tropos: The Conference Management System Case Study

Morandini, Mirko; Nguyen, Duy Cu; Perini, Anna; Siena, Alberto; Susi, Angelo

doi:10.1007/978-3-540-79488-2_14

Cited by 31 publications

(22 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The modeling and transformation environments provided by GODA extend an existing open source tool for TROPOS called TAOM4E [36]. TAOM4E provides a graphical environment for goal modeling based on the Eclipse Modeling Framework (EMF) and Graphical Editing Framework (GEF).…”

Section: Tool Supportmentioning

confidence: 99%

See 1 more Smart Citation

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis

Mendonça

Rodrigues

Ali

et al. 2016

Information and Software Technology

View full text Add to dashboard Cite

Context: Many modern software systems must deal with changes and uncertainty. Traditional dependability requirements engineering is not equipped for this since it assumes that the context in which a system operates be stable and deterministic, which often leads to failures and recurrent corrective maintenance. The Contextual Goal Model (CGM), a requirements model that proposes the idea of context-dependent goal fulfillment, mitigates the problem by relating alternative strategies for achieving goals to the space of context changes. Additionally, the Runtime Goal Model (RGM) adds behavioral constraints to the fulfillment of goals that may be checked against system execution traces.Objective: This paper proposes GODA (Goal-Oriented Dependability Analysis) and its supporting framework as concrete means for reasoning about the dependability requirements of systems that operate in dynamic contexts.Method: GODA blends the power of CGM, RGM and probabilistic model checking to provide a formal requirements specification and verification solution. At design time, it can help with design and implementation decisions; at runtime it helps the system self-adapt by analyzing the different alternatives and selecting the one with the highest probability for the system to be dependable. GODA is integrated into TAO4ME, a state-of-the-art tool for goal modeling and analysis.Results: GODA has been evaluated against feasibility and scalability on Mobee: a real-life software system that allows people to share live and updated information about public transportation via mobile devices, and on larger goal models. GODA can verify, at runtime, up to two thousand leaf-tasks in less than 35ms, and requires less than 240 kbytes of memory.Conclusion: Presented results show GODA's design-time and runtime verification capabilities, even under limited computational resources, and the scalability of the proposed solution.

show abstract

Section: Tool Supportmentioning

confidence: 99%

“…It then composes the different probabilities through suitable rewriting by mimicking the tree structure of the goal model. GODA is implemented as an extension to TAOM4E [36]: a TROPOS-based requirements elicitation and modeling tool implemented on top of the Eclipse framework.…”

Section: Introductionmentioning

confidence: 99%

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis

Mendonça

Rodrigues

Ali

et al. 2016

Information and Software Technology

View full text Add to dashboard Cite

show abstract

“…'' and ''what are their goals and how are they related to each other?'' (Morandini et al 2008). The Tropos methodology does not, to our knowledge, offer explicit steps to answer the question of who the stakeholders in the domain are.…”

Section: Troposmentioning

confidence: 99%

Elicitation of situated values: need for tools to help stakeholders and designers to reflect and communicate

Pommeranz¹,

Detweiler²,

Wiggers³

et al. 2011

Ethics Inf Technol

View full text Add to dashboard Cite

Explicitly considering human values in the design process of socio-technical systems has become a responsibility of designers. It is, however, challenging to design for values because (1) relevant values must be identified and communicated between all stakeholders and designers and (2) stakeholders' values differ and trade-offs must be made. We focus on the first aspect, which requires elicitation of stakeholders' situated values, i.e. values relevant to a specific real life context. Available techniques to elicit knowledge and requirements from stakeholders lack in providing the context and means for reflection needed to elicit situated values as well as an explicit concept of value. In this paper we present our design of a tool to support active elicitation of stakeholders' values and communication between stakeholders and designers. We conducted an exploratory user study in which we compared the suitability of methods used in social sciences for (1) eliciting situated values, (2) supporting people's expressions of values and (3) being implemented in value elicitation tool. Based on the outcomes we propose a design for a value elicitation tool that consists of a mobile application used by stakeholders for data collection and in-situ self-reflection, and a website used collaboratively by designers and stakeholders to analyse and communicate values. Discussion focuses on contributions to value sensitive design.

show abstract

“…Finalmente, para reduzir o esforço e custo de análise e melhorar a usabilidade, a automaticidade e também reduzir a tendência ao erro da análise proposta, uma implementação em linguagem JAVA foi integrada à ferramenta TAOM4E [27]. Essa extensão permite a geração automática de um modelo DTMC em linguagem PRISM a partir de um CRGM (QP4).…”

Section: Solução Propostaunclassified

“…To tackle this problem, an automated generation of the DTMC model in PRISM and PARAM languages have been implemented based on an existing JAVA open source tool supporting TROPOS development methodology named TAOM4E [27]. TAOM4E provides a graphical environment for goal modelling with TROPOS methodology based on the Eclipse Modelling Framework (EMF) and Graphical Editing Framework (GEF).…”

Section: Mean-time To Failure Verification At Runtimementioning

confidence: 99%

Dependability verification for contextual/runtime goal modelling

Mendonça¹

View full text Add to dashboard Cite

Tool-Supported Development with Tropos: The Conference Management System Case Study

Cited by 31 publications

References 16 publications

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis

Elicitation of situated values: need for tools to help stakeholders and designers to reflect and communicate

Dependability verification for contextual/runtime goal modelling

Contact Info

Product

Resources

About