Incorporating Non-functional Requirements into Software Architectures

Authors:
Nelson S. Rosa;George R. R. Justo;P. R. F. Cunha
Affiliations:
-;-;-
Venue:
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Year:
2000

Citing 7
Cited 4

Understanding Z: a specification language and its formal semantics

Understanding Z: a specification language and its formal semantics
An architectural application framework for evolving distributed systems

Journal of Systems Architecture: the EUROMICRO Journal - Special issue on new trends in programming and execution models for parallel architectures, heterogeneously distributed systems and mobile computing
Requirements Engineering: Processes and Techniques

Requirements Engineering: Processes and Techniques
Formal Specification of Evolving Distributed Software Architectures

DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Achieving Middleware Customization in a Configuration-Based Development Environment: Experience with the Aster Prototype

CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Secure software architectures

SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
A framework for systematic synthesis of transactional middleware

Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing

A framework for building non-functional software architectures

Proceedings of the 2001 ACM symposium on Applied computing
Security policy refinement and enforcement for the design of multi-level secure systems

Journal of Computer Security - Privacy, Security and Trust (PST) Technologies: Evolution and Challenges
Architecture-based refinements for secure computer systems design

Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Quality-driven architecture development using architectural tactics

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The concept of softw are architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional and non-functional requirements can be included in an architecture-based software development through formal approaches in which first-order and temporal logic are utilised to deal with them. In this paper, we present an approach in which transactional and non-functional requirements are formally incorporated into a special class of software architectures, known as dynamic software architectures. In order to demonstrate how this proposal can be utilised in a real application, an appointment system is presented.