From bures at dsrg.mff.cuni.cz Mon Dec 1 08:11:27 2008 From: bures at dsrg.mff.cuni.cz (Tomas Bures) Date: Mon, 01 Dec 2008 08:11:27 +0100 Subject: Seminar v pondeli v 9:00 In-Reply-To: <492FECC5.1060500@dsrg.mff.cuni.cz> References: <492FECC5.1060500@dsrg.mff.cuni.cz> Message-ID: <49338E1F.50803@dsrg.mff.cuni.cz> 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 From plasil at dsrg.mff.cuni.cz Mon Dec 1 11:06:42 2008 From: plasil at dsrg.mff.cuni.cz (Frantisek Plasil) Date: Mon, 01 Dec 2008 11:06:42 +0100 Subject: Seminar v pondeli v 9:00 In-Reply-To: <49338E1F.50803@dsrg.mff.cuni.cz> References: <492FECC5.1060500@dsrg.mff.cuni.cz> <49338E1F.50803@dsrg.mff.cuni.cz> Message-ID: <4933B732.3010103@dsrg.mff.cuni.cz> 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