An "abstract process" approach to algebraic dynamic architecture description

Journal of Logic and Algebraic Programming

Volumn 63, Issue 2, 2005, Pages 177-214

  Cuesta, Carlos E ^a   De La Fuente, Pablo ^a   Barrio Solórzano, Manuel ^a   Beato, M Encarnación ^b  

^a UNIVERSITY OF VALLADOLID   (Spain)

^b UNIVERSIDAD PONTIFICIA DE SALAMANCA   (Spain)

Author keywords

Calculus; Abstract process; Architecture description language; Dynamic software architecture; Process algebra; Reflection

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; SEMANTICS;

ABSTRACT PROCESS; ARCHITECTURE DESCRIPTION LANGUAGES; DYNAMIC SOFTWARE ARCHITECTURE; PROCESS ALGEBRA;

SOFTWARE ENGINEERING;

EID: 16244384636     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2004.05.003     Document Type: Article

References (30)

1. P. Kruchten The Rational Unified Process - An Introduction, Object Technology Series 1999 Addison-Wesley
2. D. Firesmith, and B. Henderson-Sellers The OPEN Process Framework 2001 Pearson/Addison-Wesley
3. N. Medvidovic, and R.N. Taylor A classification and comparison framework for software architecture description languages IEEE Trans. Softw. Eng. 26 1 2000 70 93
4. M. Wermelinger, and J.L. Fiadeiro Algebraic software architecture reconfiguration Software Engineering - Proc. of ESEC/FSE'99 Lect. Notes Comp. Sci. vol. 1687 1999 Springer Verlag 393 409
5. C.E. Cuesta, P. de la Fuente, M. Barrio-Solórzano, and E. Beato Coordination in a reflective architecture description language F. Arbab C. Talcott Coordination Models and Languages Lect. Notes Comp. Sci. vol. 2315 2002 Springer Verlag York, UK 141 148
6. C.E. Cuesta, P. de la Fuente, M. Barrio Solórzano, and M.E. Beato Introducing reflection in architecture description languages J. Bosch M. Gentleman C. Hofmeister J. Kuusela Software Architecture: System Design, Development and Maintenance 2002 Kluwer Academic Publishers 143 156
7. M. Radestock, and S. Eisenbach Coordination in evolving systems Trends in Distributed Systems Lect. Notes Comp. Sci. vol. 1161 1996 Springer Verlag 162 176
8. J. Magee, J. Kramer, and D. Giannakopoulou Behaviour analysis of software architectures P. Donohoe Software Architecture 1999 Kluwer Academic Publishers 35 49
9. D.C. Luckham, and J. Vera An event-based architecture definition language IEEE Trans. Softw. Eng. 21 9 1995 717 734
10. N. Medvidovic, N. Mehta, and M. Mikic-Rakic A family of software architecture implementation frameworks J. Bosch M. Gentleman C. Hofmeister J. Kuusela Software Architecture: System Design, Development and Maintenance 2002 Kluwer Academic Publishers 221 235 Ch. 14
11. J.L. Fiadeiro, A. Lopes, M. Wermelinger, A mathematical semantics for architectural connectors, in: R. Backhouse, J. Gibbons (Eds.), Generic Programming Advanced Lectures, Lect. Notes Comp. Sci., vol. 2793, Springer Verlag, (2003) 190-234
12. D. Le Métayer Describing software architecture styles using graph grammars IEEE Trans. Softw. Eng. 24 7 1998 521 553
13. D.F. Hirsch, P. Inverardi, and U. Montanari Modelling software architectures and styles with graph grammars and constraint solving P. Donohoe Software Architecture 1999 Kluwer Academic Publishing 127 143
14. D.F. Hirsch, Graph transformation models for software architecture styles, Ph.D. thesis, Universidad de Buenos Aires, 2003
15. C. Canal, E. Pimentel, and J.M. Troya Compatibility and inheritance in software architectures Sci. Computer Program. 41 2 2001 105 138
16. IEEE Recommended Practice for Architectural Description of Software-intensive Systems, RP-1471, IEEE Architecture, WG, 2001
17. D. Hirsch, U. Montanari, Higher-order hyperedge replacement systems and their transformations: specifying software architecture reconfigurations, in: Joint Workshop on Graph Transformations (GRATRA 2000) Technical Report 2000-02, Computer Science Department, Tenische Universität Berlin, 2000, pp. 215-223
18. R. Allen, and D. Garlan A formal basis for architectural connection ACM Trans. Softw. Eng. Meth. 6 3 1997 213 249
19. M. Bernardo, P. Ciancarini, and L. Donatiello Architecting families of software systems with process algebras ACM Trans. Softw. Eng. Meth. 11 2002 386 426
20. M. Bernardo, L. Donatiello, and P. Ciancarini Stochastic process algebra: from an algebraic formalism to an architectural description language M. Calzarossa S. Tucci Performance Evaluation of Complex Systems: Techniques and Tools Lect. Notes Comp. Sci. vol. 2459 2002 Springer Verlag 236 260
21. D. Sangiorgi, and D. Walker The π-Calculus. A Theory of Mobile Processes 2001 Cambridge University Press
22. G. Naumovich, G.S. Avrunin, L.A. Clarke, and L.J. Osterweil Applying static analysis to software architectures M. Jazayeri H. Schauer Proc. of ESEC/FSE'97 Lect. Notes Comp. Sci. vol. 1301 1997 Springer Verlag 77 93
23. P. Maes Concepts and experiments in computational reflection N. Meyrowitz OOPSLA'87 Conf. Proc. 1987 ACM Press 147 155
24. C. E. Cuesta, P. de la Fuente, M. Barrio-Solórzano, E. Beato, Dynamic coordination architecture through the use of reflection, in: Proc. 16th ACM Symp. Applied Comp. (SAC2001), 2001, pp. 134-140
25. S. Katz A superimposition control construct for distributed systems ACM Trans. Prog. Lang. Syst. 15 2 1993 337 356
26. M.M. Kandé, and A. Strohmeier Towards a UML profile for software architecture descriptions S. Kent A. Evans B. Selic UML'2000 - Third Intl Conf. on the UML: Advancing the Standard Lect. Notes Comp. Sci. vol. 1939 2000 Springer Verlag
27. B.C. Pierce, and D.N. Turner Pict: A programming language based on the pi-calculus G. Plotkin C. Stirling M. Tofte Proof, Language, and Interaction: Essays in Honour of Robin Milner 2000 MIT Press
28. P.T. Wojciechowski, and P. Sewell Nomadic Pict: Language and infrastructure design for mobile agents IEEE Concurr. 8 2 2000 42 52
29. D.N. Turner, The polymorphic pi-calculus: theory and implementation, Ph.D. thesis, University of Edinburgh, 1996
30. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin Dynamic typing in a statically typed language ACM Trans. Prog. Lang. Syst. 13 2 1991 237 268