From: Colin S. c. <cf...@ec...> - 2012-12-04 12:59:07
|
Hi Vlad, Yes, the UML-B 'package diagram' is a diagram of the machines and contexts in your project. Maybe it is a bit misleading to call it a package diagram and later I started calling it a 'project diagram' instead. (UML) Packages are supposed to be for introducing conceptual structure to a model and may impose access restrictions. You are correct, there is no such corresponding feature in UML-B. There is no namespace or encapsulation in Event-B and hence UML-B since it is a systems level specification language and encapsulation is more useful in design. (Also, as you say, there are practicalities regarding proof). Having said that, we do want to refine into design stages. Therefore, we are currently working on extensions to UML-B that will allow you to model components and their connections and this will involve encapsulation and lead to decomposition. However, the intention of this is that components are oriented towards representing the tangible components of a system design (not packages which are intended to be purely conceptual). Maybe there is also a role for packages in organising a large model. Regards Colin On 3 Dec 2012, at 13:35, Vlad Gheorghe wrote: > Hi again, > > After reading the introductory paper: > "UML-B and Event-B: an integration of languages and tools" > http://deploy-eprints.ecs.soton.ac.uk/3/ > > I understand that the UML-B "package diagram" is actually an overview of the whole project. > > My initial question was actually about the existence of a correspondent of a Package language element. > > My guess is that it is not existing at the moment. > > Is that correct ? > > Would it make sense to introduce such a concept in a future version of UML-B ? > > I also couldn't find a namespace concept in Event-B (that is, for structuring concepts inside one Machine). > > Is that because models requiring that kind of feature would be already impractical to specify and prove with Event-B ? > > Kind Regards > Vlad Gheorghe > > ------------------------------------------------------------------------------ > Keep yourself connected to Go Parallel: > BUILD Helping you discover the best ways to construct your parallel projects. > http://goparallel.sourceforge.net_______________________________________________ > Rodin-b-sharp-user mailing list > Rod...@li... > https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user |