UML2Z: An UML-Based Modeling Tool for an Internet Integrated Formalization Process
| Autor: | Emanuel Grant, Robert B. France, Ramchander Varadarajan, Adam Carheden, Jean-Michel Bruel |
|---|---|
| Rok vydání: | 2001 |
| Předmět: |
Process (engineering)
Semantics (computer science) Computer science business.industry computer.internet_protocol Software Unified Modeling Language Systems engineering Class diagram Computer-aided software engineering Software engineering business computer Z notation XML computer.programming_language |
| Zdroj: | OOIS 2000 ISBN: 9781852334208 |
| DOI: | 10.1007/978-1-4471-0299-1_23 |
| Popis: | An approach to making informal OO models semantics precise and thus amenable to rigorous analysis is by integrating them with a suitable formal notation. Such work has been carried out in the development of a CASE tool (FuZE) for formalizing UML class diagrams. Two major drawbacks with the current approach are that it is CASE tool specific, and the models developed are not portable across multiple hardware and software platforms. In this paper we propose an UML XMI interchange tool (UML2Z) for transforming UML class diagrams to the Z notation. With this approach the integration process, will be CASE tool and platform independent. This makes it available to a larger sphere of usage in terms of available CASE tools, and diverse development teams. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|