From bures at dsrg.mff.cuni.cz Tue Nov 4 12:07:06 2008 From: bures at dsrg.mff.cuni.cz (Tomas Bures) Date: Tue, 04 Nov 2008 12:07:06 +0100 Subject: Seminare dnes a zitra Message-ID: <49102CDA.3070105@dsrg.mff.cuni.cz> Dobry den, na dnesnim a zitrejsim seminari vystoupi nasi hoste Eric Madelaine a Antonio Cansado. Po dnesni domluve s nimi jsme oproti puvodnimu planu prehodili jejich prednasky. Dnes tedy bude mluvit Antonio Cansado o "Formal Specification and Verification of Distributed Components" a zitra Eric Madelaine o "Specification and Verification Tools for Grid Component-based Applications". S pozdravem, Tomas Bures From plasil at dsrg.mff.cuni.cz Tue Nov 4 12:14:36 2008 From: plasil at dsrg.mff.cuni.cz (Frantisek Plasil) Date: Tue, 04 Nov 2008 12:14:36 +0100 Subject: Seminare dnes a zitra In-Reply-To: <49102CDA.3070105@dsrg.mff.cuni.cz> References: <49102CDA.3070105@dsrg.mff.cuni.cz> Message-ID: <49102E9C.9030101@dsrg.mff.cuni.cz> On 11/4/2008 12:07 PM, Tomas Bures wrote: > Dobry den, > > na dnesnim a zitrejsim seminari vystoupi nasi hoste Eric Madelaine a > Antonio Cansado. Po dnesni domluve s nimi jsme oproti puvodnimu planu > prehodili jejich prednasky. Dnes tedy bude mluvit Antonio Cansado o > "Formal Specification and Verification of Distributed Components" a > zitra Eric Madelaine o "Specification and Verification Tools for Grid > Component-based Applications". Aha myslel jsem, ze ve velke poslucharne bude mluvit Eric... Fr > > S pozdravem, > Tomas Bures > > > _______________________________________________ > 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 From bures at dsrg.mff.cuni.cz Tue Nov 4 13:08:54 2008 From: bures at dsrg.mff.cuni.cz (Tomas Bures) Date: Tue, 04 Nov 2008 13:08:54 +0100 Subject: Seminare dnes a zitra In-Reply-To: <49102CDA.3070105@dsrg.mff.cuni.cz> References: <49102CDA.3070105@dsrg.mff.cuni.cz> Message-ID: <49103B56.3070204@dsrg.mff.cuni.cz> Dobry den, omlouvam se, jeste jednou zmena. Program bude jako puvodne, tedy dnes Eric Madelaine a zitra Antonio Cansado. S pozdravem, Tomas Bures Tomas Bures wrote: > Dobry den, > > na dnesnim a zitrejsim seminari vystoupi nasi hoste Eric Madelaine a > Antonio Cansado. Po dnesni domluve s nimi jsme oproti puvodnimu planu > prehodili jejich prednasky. Dnes tedy bude mluvit Antonio Cansado o > "Formal Specification and Verification of Distributed Components" a > zitra Eric Madelaine o "Specification and Verification Tools for Grid > Component-based Applications". > > S pozdravem, > Tomas Bures > > > _______________________________________________ > Seminar mailing list > Seminar at dsrg.mff.cuni.cz > https://dsrg.mff.cuni.cz/mailman/listinfo/seminar > From bures at dsrg.mff.cuni.cz Fri Nov 28 14:06:13 2008 From: bures at dsrg.mff.cuni.cz (Tomas Bures) Date: Fri, 28 Nov 2008 14:06:13 +0100 Subject: Seminar v pondeli v 9:00 Message-ID: <492FECC5.1060500@dsrg.mff.cuni.cz> 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