Abstract
The concept of software 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.
This research was supported by the Brazilian Government Agency — CAPES Foundation — under process BEX1779/98-2.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Issarny, V., Bidan, C, Saridakis, T.: Achieving Middleware Customization in a Configuration-based Development Environment: Experience with the Aster Prototype. Fourth International Conference on Configurable Distributed Systems, Annapolis Maryland USA (1998) 207–214
Justo, G. R. R., Cunha, P. R. F.: An Architectural Application Framework for Evolving Distributed Systems. Journal of Systems Architecture 45 (1999) 1375–1384
Justo, G. R. R., Paula, V. C. C. de, Cunha, P. R. F.: Formal Specification of Evolving Distributed Software Architectures. International Workshop on Coordination Technologies for Information Systems(CTIS’98), Viena Austria (1998) 548–553
Kotonya, G. and Sommerville, I. Requirements Engineering: Process and Techniques. John Wiley & Sons, Inc 8 (1998) 190–213
Moriconi, M., Qian, X., Riemenschneider, R. A., Gong, L.: Secure Software Architectures. IEEE Symposium on Security and Privacy. Oakland CA (1997)
Saridakis, T., Issarny, V.: Fault Tolerant Software Architectures. INRIA 3350 (1998)
Spivey, J.M.: Understanding Z: a Specification Language and Its Formal Semantics. Cambridge University Press (1988)
Matena, V., Hapner, M.: Enterprise JavaBeans™. Sun Microsystems (1997)
Zarras, A., Issarny, V.: A Framework for Systematic Synthesis of Transactional Middleware. Middleware’98. The Lake District England (1998) 257–272
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rosa, N.S., Justo, G.R.R., Cunha, P.R.F. (2000). Incorporating Non-functional Requirements into Software Architectures. In: Rolim, J. (eds) Parallel and Distributed Processing. IPDPS 2000. Lecture Notes in Computer Science, vol 1800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45591-4_138
Download citation
DOI: https://doi.org/10.1007/3-540-45591-4_138
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67442-9
Online ISBN: 978-3-540-45591-2
eBook Packages: Springer Book Archive