rΣ: Automated reasoning tool for non-functional requirement goal models

Wei, B; Yin, B; Jin, Z; Zowghi, D

rΣ: Automated reasoning tool for non-functional requirement goal models

Wei, B Yin, B Jin, Z Zowghi, D

Permalink

Publication Type:: Conference Proceeding
Citation:: Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011, 2011, pp. 337 - 338
Issue Date:: 2011-12-05

Closed Access

	Filename	Description	Size
	2011001459OK.pdf	Published version	602.45 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Wei, B	en_US
dc.contributor.author	Yin, B	en_US
dc.contributor.author	Jin, Z	en_US
dc.contributor.author	Zowghi, D https://orcid.org/0000-0002-6051-0155	en_US
dc.date.issued	2011-12-05	en_US
dc.identifier.citation	Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011, 2011, pp. 337 - 338	en_US
dc.identifier.isbn	9781457709234	en_US
dc.identifier.uri	http://hdl.handle.net/10453/31317
dc.description.abstract	Reasoning is critical for non-functional requirements (NFRs) analysis and verification. Furthermore, it can provide rationale about implementation strategies for NFRs. The existing tools can execute an interactive reasoning process which sometimes needs extra information from stakeholders. We build a tool called rΣ for reasoning on NFR models especially when extra information is unavailable or forbidden, like at the model verification stage. This tool employs the formula style model as the input, automatically promotes the reasoning process till the root node, and returns all the satisficing statuses and the complete rationale as the output. We have applied rΣ into the real practice and to evaluate its efficiency. © 2011 IEEE.	en_US
dc.relation.ispartof	Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011	en_US
dc.relation.isbasedon	10.1109/RE.2011.6051664	en_US
dc.title	rΣ: Automated reasoning tool for non-functional requirement goal models	en_US
dc.type	Conference Proceeding
utslib.for	0806 Information Systems	en_US
dc.location.activity	Trento, Italy
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/DVC (Research)
pubs.organisational-group	/University of Technology Sydney/DVC (Research)/Graduate Research School
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Systems, Management and Leadership
pubs.organisational-group	/University of Technology Sydney/Strength - HCTD - Human Centred Technology Design
pubs.organisational-group	/University of Technology Sydney/Strength - STEM Education Futures
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US

Abstract:

Reasoning is critical for non-functional requirements (NFRs) analysis and verification. Furthermore, it can provide rationale about implementation strategies for NFRs. The existing tools can execute an interactive reasoning process which sometimes needs extra information from stakeholders. We build a tool called rΣ for reasoning on NFR models especially when extra information is unavailable or forbidden, like at the model verification stage. This tool employs the formula style model as the input, automatically promotes the reasoning process till the root node, and returns all the satisficing statuses and the complete rationale as the output. We have applied rΣ into the real practice and to evaluate its efficiency. © 2011 IEEE.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/31317