Sciweavers

1148 search results - page 195 / 230
» WebML modelling in UML
Sort
View
PATMOS
2004
Springer
14 years 3 months ago
A Multi-level Validation Methodology for Wireless Network Applications
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
Christos Drosos, Labros Bisdounis, Dimitris Metafa...
SEKE
2004
Springer
14 years 3 months ago
Enhancing the Message Concept of the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
Stephan Flake
ANSS
2000
IEEE
14 years 2 months ago
Simulation of a Telecommunication System Using SimML
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
Neil A. Speirs, L. B. Arief
AGTIVE
2007
Springer
14 years 1 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
OMER
2001
13 years 11 months ago
Implementing Function Block Adapters
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
Torsten Heverhagen, Rudolf Tracht