Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
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 (Autor:in) / Lopes, Antónia (Autor:in) / Baresi, L. / Heckel, H.
01.01.2006
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
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
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
Formal Design of Public Transport Stations Owing to Hybrid Event Graphs (HEG)
| British Library Conference Proceedings | 2005