Seminar v pondeli v 9:00

[Tomas Bures]

Dobry den,

omlouvam se za zmenu na posledni chvili. Kvuli kolizim jsme seminar 
presunuli na dnes od 14:00.

Tomas

Tomas Bures wrote:
> Dobry den,
>
> rad bych vas pozval na seminar, ktery se kona netradicne pristi tyden 
> v pondeli 1.12. od 9:00:
>
> Rolf Hennicker (Ludwig-Maximilians-Universität München): On the 
> Observable Behaviour of Composite Components
>
> The crucial strength of the component paradigm lies in the possibility 
> to encapsulate behaviours. In this work, we focus on the observable 
> behaviour of composite components which encapsulate the behaviour of 
> (possibly large) assemblies of connected subcomponents. We first 
> present our general component model which is equipped with a precise 
> formal semantics allowing us to distinguish systematically different 
> kinds of behaviours for ports, for components, and for component 
> assemblies; technically we use UML2 notation for describing component 
> structures and I/O-transition systems for behaviours. Then we 
> investigate an efficient method for the computation of the observable 
> behaviour of composite components which can circumvent the possibly 
> infeasible intermediate computation of the usually complex behaviour 
> of underlying assemblies if there are behaviourally 
> neutralnsubcomponents. Finally, we utilise the fact that components 
> are connected via ports such that checks for behavioural neutrality of 
> components can be reduced to checks for behavioural neutrality of 
> connected ports in the case of weakly deterministic port behaviours.
>
> S pozdravem,
> Tomas Bures
>
> _______________________________________________
> Seminar mailing list
> Seminar at dsrg.mff.cuni.cz
> https://dsrg.mff.cuni.cz/mailman/listinfo/seminar