𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Concurrency and Refinement in the Unified Modeling Language

✍ Scribed by Jim Davies; Charles Crichton

Publisher
Springer
Year
2003
Tongue
English
Weight
397 KB
Volume
15
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the semantics of unified modeling lan
On the semantics of unified modeling language diagrams using Z notation
✍ Ekawit Nantajeewarawat; Ratanachai Sombatsrisomboon πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 142 KB

As a step toward the precise semantics of Unified Modeling Language (UML), this article uses the Z notation to develop formal specifications for two important parts of UML, i.e., class diagrams and sequence diagrams, and to formulate an appropriate interpretation structure for discussing the model t

Using the Unified Modeling Language to d
Using the Unified Modeling Language to develop soil water-balance and irrigation-scheduling models
✍ Petraq Papajorgji; Tamara M. Shatar πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 395 KB

Many water-balance and irrigation-scheduling models have been developed as research and/or management tools. These models continue to be modified or re-used by other research groups. A method for developing and documenting these models, using the Unified Modeling Language (UML) is presented. This me

Toward reasoning with unified modeling l
Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
✍ Ekawit Nantajeewarawat; Vilas Wuwongse; Chutiporn Anutariya; Kiyoshi Akama; Sura πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 138 KB

A practical framework for representing knowledge and reasoning in the domain of Unified Modeling Language (UML) is proposed. In this framework, graphical diagrams in a UML model are encoded as Extensible Markup Language (XML)/Metadata Interchange (XMI) elements, which are regarded as facts about a s