Abstract
In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support nondeterminism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.
This work was partially supported through contracts PCSH/OGE/1038/95 (MAGO) and 2/2.1/TIT/1662/95 (SARA).
Chapter PDF
Similar content being viewed by others
Keywords
- Private Action
- Label Transition System
- Shared Action
- Communicate Sequential Process
- Configuration Diagram
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abadi, M., Lamport, L.: Composing Specifications. ACM TOPLAS 15(1), 73–132 (1993)
Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM 6(3), 213–249 (1997)
Chandy, K., Misra, J.: Parallel Program Design - A Foundation. Addison-Wesley, Reading (1988)
Fiadeiro, J.L., Lopes, A.: Algebraic Semantics of Coordination. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol. 1548. Springer, Heidelberg (1998)
Fiadeiro, J.L., Maibaum, T.: Categorical Semantics of Parallel Program Design. Science of Computer Programming 28, 111–138 (1997)
Fiadeiro, J.L., Lopes, A.: Semantics of Architectural Connectors. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 505–519. Springer, Heidelberg (1997)
Francez, N., Forman, I.: Interacting Processes. Addison-Wesley, Reading (1996)
Goguen, J.: Categorical Foundations for General Systems Theory. In: Pichler, F., Trappl, R. (eds.) Advances in Cybernetics and Systems Research, pp. 121–130. Transcripta Books (1973)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
ITU Recommendation X.901-904, Open Distributed Processing - Ref. Model (July 1995)
Kuiper, R.: Enforcing Nondeterminism via Linear Temporal Logic Specifications using Hiding. In: Banieqbal, B., Barringer, H., Pnueli, A. (eds.) Temporal Logic in Specification. LNCS, vol. 398, pp. 295–303. Springer, Heidelberg (1989)
Lamport, L.: The Temporal Logic of Actions. ACM TOPLAS 16(3), 872–923 (1994)
Lano, K., Bicarregui, J., Fiadeiro, J.L., Lopes, A.: Specification of Required Non-determinism. In: Fitzgerald, J., Jones, C., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, pp. 298–317. Springer, Heidelberg (1997)
Lopes, A., Fiadeiro, J.L.: Preservation and Reflection in Specification. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol. 1349, pp. 380–394. Springer, Heidelberg (1997)
Luckham, D.C., Vera, J.: An event-based architecture definition language. IEEE TOSE 21(9), 717–734 (1995)
Magee, J., Kramer, J.: Dynamic Structure in Software Architecures. 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)
Meyer, B.: Applying Design by Contract, pp. 40–51. IEEE Computer, Los Alamitos (1992)
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs (1996)
Smith, G.: A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. In: Fitzgerald, J., Jones, C., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, pp. 62–81. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lopes, A., Fiadeiro, J.L. (1999). Using Explicit State to Describe Architectures. In: Finance, JP. (eds) Fundamental Approaches to Software Engineering. FASE 1999. Lecture Notes in Computer Science, vol 1577. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49020-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-49020-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65718-7
Online ISBN: 978-3-540-49020-3
eBook Packages: Springer Book Archive