Régine Laleau, Fiona Polack  Home/Search
Context Related
| users.cs.york.ac.uk/~...ZB2002Regine.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: users.cs.york.ac.uk/~fio...recent (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: CEDRIC-IIE is researching rigorous information system (IS) development. Previous work includes translation rules for deriving a B specification from object-oriented diagrams, metamodels of IS UML structural and functional concepts, and a prototype translation tool. here we outline the traceability needs for a tool to assist in rigorous IS development, and provide metastructures for the required links among B and IS UML concepts, in the context of existing translation rules and IS UML metamodels. (Update)
Context of citations to this paper: More
.... the B machine structures, has influenced our subsequent work on a formally underpinned version of UML for information systems[10, 9, 18]. Various authors[4, 5, 11, 12, 23] have demonstrated that a state model using the OMT object modelling notation can be transcribed...
Cited by: More
How to Verify Dynamic Properties of Information Systems - Neil Evans And (Correct)
Exploring the informal translation of OMT object models in B - Polack (2003) (Correct)
Similar documents (at the sentence level):
77.1%: Coming and going from UML to B: a proposal to support.. - Laleau, Polack (2002) (Correct)
6.0%: Specification of Integrity-Preserving Operations in.. - Laleau, Polack (2001) (Correct)
Active bibliography (related documents): More All
1.1: Proving the Refinement of Scenarios into Object-Oriented Models - Frappier, al. (Correct)
0.9: A Rigorous Metamodel for UML Static Conceptual Modelling of.. - Laleau, Polack (Correct)
0.4: Analysis and Comparison of Formalization Approaches of UML.. - Amalio, Polack (2002) (Correct)
Similar documents based on text: More All
0.8: Metamodels for a UML for Information Systems Specification - Polack, Laleau (Correct)
0.7: Metamodels for Static Conceptual Modelling of Information Systems - Laleau, Polack (2000) (Correct)
0.7: A Rigorous Metamodel for UML Static - Conceptual Modelling Of (2001) (Correct)
Related documents from co-citation: More All
3: An overview of a method and its support tool for generating B specications from .. (context) - Laleau, Mammar - 2000
2: Failures-Divergence Refinement---FDR 2---User Manual (context) - Systems, Ltd - 1997
2: CSP Theorems for Communicating B Machines - Schneider, Treharne - 2002
BibTeX entry: (Update)
R. Laleau and F. Polack. Coming and going from UML to B : a proposal to support traceability in rigorous is development. In ZB2002. http://citeseer.ist.psu.edu/laleau02coming.html More
@inproceedings{ laleau02coming,
author = "R\'egine Laleau and Fiona Polack",
title = "Coming and Going from {UML} to {B}: {A} Proposal to support Traceability in Rigorous {IS} Development",
booktitle = "{ZB}'2002 -- Formal Specification and Development in {Z} and {B}",
pages = "517--534",
year = "2002",
url = "citeseer.ist.psu.edu/laleau02coming.html" }
Citations (may not include all citations):1274 Object oriented software construction (context) - Meyer - 1997
38 Integrated structured analysis and formal specication techni.. (context) - Semmens, France et al. - 1992
28 Introducing dynamic constraints in B (context) - Abrial, Mussat
12 Rational Rose - Using Rational Rose (context) - Corporation - 1998
8 The MMF approach to engineering object-oriented design langu.. (context) - Clark, Evans et al. - 2001
8 Foundations of the Unied Modeling Language (context) - Clark, Evans - 1997
7 An overview of a method and its support tool for generating .. (context) - Laleau, Mammar - 2000
6 A rigorous metamodel for UML static conceptual modelling of .. - Polack, Laleau - 2068
5 Event driven sequential program construction (context) - Abrial - 2001
5 Combining UML with the B formal method for the specication o.. (context) - Facon, Laleau et al. - 1999
4 Components and Frameworks in UML: the Catalysis Approach (context) - D'Souza, Wills - 1999
4 Formal specication of the UML metamodel for building rigorou.. (context) - Facon, Laleau et al. - 1999
4 erivation de specications formelles B a partir de specica.. (context) - Facon, Laleau et al. - 1996
4 A generic process to rene a B specication into a relational .. (context) - Laleau, Mammar - 2000
4 The invoicing system problem : From OMT diagrams to B specic.. (context) - Facon, Laleau et al. - 1998
4 From OMT diagrams to B specications (context) - Facon, Laleau et al. - 2000
3 ethodes graphiques d'analyse et conception orientees objet (context) - Monge, eta et al. - 1997
3 DIGILOG groupe STERIA (context) - Atelier, Manuel et al. - 1996
3 Specication of integrity-preserving operations in informatio.. - Laleau, Polack - 2001
2 Exploring the informal translations of OMT object models in .. - Polack - 2001
2 Pouvoir d'expression de modeles orientes objet (context) - Junior - 1996
2 dimensional view of integrated formal and informal specicati.. (context) - France, Larrondo-Petrie et al. - 1995
2 Conservatoire National des Arts et Metiers (context) - Nguyen, erivation et al. - 1998
1 specications from wellde ned UML notations for database appl.. (context) - Laleau, Mammar et al. - 2001
Documents on the same site (http://www-users.cs.york.ac.uk/~fiona/PUBS/recent.html): More
SAZ: SSADM version 4 and Z - Polack (Correct)
Metamodels for Static Conceptual Modelling of Information Systems - Laleau, Polack (2000) (Correct)
Systems Development using Z Generics - Polack, Stepney (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC