Abstract
We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. These representation schemes facilitate the way evolution of requirements or of the application domain can be reflected in the decomposition structure, making it easier to change.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM 6(3), 213–249 (1997)
Andrade, L.F., Fiadeiro, J.L.: Interconnecting Objects via Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 566–583. Springer, Heidelberg (1999)
Andrade, L.F., Fiadeiro, J.L.: Architecture Based Evolution of Software Systems. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 148–181. Springer, Heidelberg (2003)
Andrade, L.F., Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Architectural Techniques for Evolving Control Systems. In: Tarnai, G., Schnieder, E. (eds.) Formal Methods for Railway Operation and Control Systems, L’Harmattan Press (2003)
Berry, D., Kazman, R., Wieringa, R. (eds.): Proceedings of Second International Workshop from Software Requirements to Architectures (STRAW 2003), Portland, USA (2003)
Castro, J., Kramer, J.: Proceedings of First International Workshop from Software Requirements to Architectures (STRAW 2001), Toronto, Canada (2001)
Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Dordrecht (2000)
Elrad, T., Filman, R., Bader, A.: Special Issue on Aspect Oriented Programming. Communications of the ACM 44(10) (2001)
Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A Mathematical Semantics for Architectural Connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol. 2793, pp. 190–234. Springer, Heidelberg (2003)
Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM 35(2), 97–107 (1992)
Grundy, J.: Aspect-Oriented Requirements Engineering for Component-based software systems. In: Fourth IEEE International Symposium on Requirements Engineering (RE 1999), IEEE Computer Society Press, Los Alamitos (1999)
Hall, J.G., Jackson, M., Laney, R.C., Nuseibeh, B., Rapanotti, L.: Relating Software Requirements and Architectures using Problem Frames. In: IEEE Proceedings of RE 2002 (2002)
Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison Wesley, Reading (2000)
Jackson, M.: Some Basic Tenets of Description. Software System Modelling 1, 5–9 (2002)
Jackson, M.: Why Software Writing is Difficult and Will Remain So. In: Fiadeiro, J., Madey, J., Tarlecki, A. (eds.) Information Processing Letters Special Issue in Honour of Wlad Turski, vol. 88(1-2) (2003)
Koutsoukos, G., Gouveia, J., Andrade, L., Fiadeiro, J.L.: Managing Evolution in Telecommunications Systems. In: Zielinski, K., Geihs, K., Laurentowski, A. (eds.) New Developments on Distributed Applications and Interoperable Systems, pp. 133–139. Kluwer Academic Publishers, Dordrecht (2001)
Koutsoukos, G., Kotridis, T., Andrade, L., Fiadeiro, J.L., Gouveia, J., Wermelinger, M.: Coordination technologies for business strategy support: a case study in stock-trading. In: Corchuelo, R., Ruiz, A., Toro, M. (eds.) Advances in Business Solutions, pp. 45–56. Catedral Publicactiones (2002)
van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proceedings of the 5th International Symposium on Requirements Engineering (RE 2001), pp. 249–261. IEEE Computer Society Press, Los Alamitos (2001)
Lehman, M.: Uncertainty in Computer Application. Communications ACM 33(5), 584–586 (1990)
Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: 4th Symp. on Foundations of Software Engineering, pp. 3–14. ACM Press, New York (1996)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1991)
Nuseibeh, B.A.: Weaving Together Requirements and Architecture. IEEE Computer 34(3), 115–117 (2001)
Perry, D., Wolf, A.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes 17(4), 40–52 (1992)
Rashid, A., Moreira, A., Araujo, J.: Modularisation and Composition of Aspectual Requirements. In: Aspect Oriented Software Development 2003 (2003)
Zave, P.: Feature Interactions and Formal Specifications in Telecommunications. IEEE Computer XXVI(8), 20–30 (1993)
Zave, P., Jackson, M.: Conjunction as Composition. ACM TOSEM 2(4), 371–411 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barroca, L., Fiadeiro, J.L., Jackson, M., Laney, R., Nuseibeh, B. (2004). Problem Frames: A Case for Coordination. In: De Nicola, R., Ferrari, GL., Meredith, G. (eds) Coordination Models and Languages. COORDINATION 2004. Lecture Notes in Computer Science, vol 2949. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24634-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-24634-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21044-3
Online ISBN: 978-3-540-24634-3
eBook Packages: Springer Book Archive