Seminar v pondeli v 9:00

[Frantisek Plasil]

Tomasi, predpokladam, ze pujdes s na obed s Rolfem (pujdu take) - pripadne i PH (sel 
bych lehce po 12:00).
Fr
On 12/1/2008 8:11 AM, Tomas Bures wrote:
> 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
> 
> _______________________________________________
> Seminar mailing list
> Seminar at dsrg.mff.cuni.cz
> https://dsrg.mff.cuni.cz/mailman/listinfo/seminar


-- 
____________________________________________
Frantisek Plasil, Ph.D.
Professor and Chair
Department of Software Engineering
Charles University
Malostranske nam.25
11800 Prague 1, Czech Republic
http://dsrg.mff.cuni.cz
Phone: (+420) 2 2191 4266
Fax:   (+420) 2 2191 4323