Voltar
Capítulo de livro Acesso aberto Revisado por pares
BIBTEX RIS

Exploring The Semantics of UML Type Structures with Z

1997; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-0-387-35261-9_17

ISSN

1868-422X

Autores

Robert B. France, Jean‐Michel Bruel, Maria M. Larrondo‐Petrie, M. Shroff,

Tópico(s)

Service-Oriented Architecture and Web Services

Resumo

The Unified Modeling Language (UML) builds upon some of the best object-oriented (OO) modeling concepts available, and is intended to serve as a common OO modeling notation. Given its intended role, it is important that the UML notation have a well-defined semantic base. In this paper we present some early results from our work on the systematic formalization of UML modeling constructs. The paper focuses on the formalization of UML Class Diagrams. The formal notation Z is used to express the semantics of Class Diagrams.

Referência(s)