A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
A formal approach to event-based architectures
We develop a formal approach to event-based architectures that serves two main purposes: to characterise the modularisation properties that result from the algebraic structures induced on systems by this discipline of coordination; and to further validate and extend the Community approach to architectural modelling with "implicit invocation", or "publish/subscribe" interactions. This is a first step towards a formal integration of architectural styles.
A formal approach to event-based architectures
We develop a formal approach to event-based architectures that serves two main purposes: to characterise the modularisation properties that result from the algebraic structures induced on systems by this discipline of coordination; and to further validate and extend the Community approach to architectural modelling with "implicit invocation", or "publish/subscribe" interactions. This is a first step towards a formal integration of architectural styles.
A formal approach to event-based architectures
Fiadeiro, José Luiz (author) / Lopes, Antónia (author) / Baresi, L. / Heckel, H.
2006-01-01
Fiadeiro , J L & Lopes , A 2006 , A formal approach to event-based architectures . in L Baresi & H Heckel (eds) , Fundamental Approaches to Software Engineering : 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings . Lecture Notes in Computer Science , vol. 3922 , Springer Verlag , pp. 18-32 , 9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 , Vienna , Austria , 27/03/06 . https://doi.org/10.1007/11693017_4
Article (Journal)
Electronic Resource
English
Comparing the MVC and PAC architectures: a formal perspective
| IET Digital Library Archive | 1997
Architecture : formal approach
| TIBKAT | 1986
Formal Approach to Software Architecture
| NTIS | 1997