Re: UML Use Cases



Date view Thread view Subject view Author view

Ivan Porres (iporres@abo.fi)
Mon, 8 Jan 2001 16:44:35 +0200


> Hi, > > Please could you tell me if any one has been formalized UML use cases in Z > langauge? I don't know of any formalization of use cases in Z, but you can check the following articles: * Analysing UML Use Cases as Contracts from Ralph Back, Luigia Petre and me, about formalization of UC in the Refinement Calculus (more info in my web page www.abo.fi/~iporres). * A Formal Approach to Use Cases and their Relationships from Gunnar Övergaard (http://www.db.informatik.uni-bremen.de/umlbib/authors/%D6vergaardGunnar.htm l) * Perdita Stevens is also working on UC (http://www.dcs.ed.ac.uk/home/pxs/talksEtc.html) BTW, a good place to search for UML articles is the UML Bibliography Index: http://www.db.informatik.uni-bremen.de/umlbib/home.html Ivan --- Ivan Porres Paltor Turku Centre for Computer Science Lemminkäinengatan 14A -- FIN-20520 Turku Finland Phone: +358-2-2154033, Fax: +358-2-2410154 -- http://www.abo.fi/~iporres


Date view Thread view Subject view Author view