Sciweavers

1148 search results - page 21 / 230
» WebML modelling in UML
Sort
View
119
Voted
TOOLS
2000
IEEE
15 years 4 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober
130
Voted
FAC
2008
178views more  FAC 2008»
15 years 14 days ago
Modeling and validating Mondex scenarios described in UML and OCL with USE
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
Mirco Kuhlmann, Martin Gogolla
DEBU
2008
100views more  DEBU 2008»
15 years 15 days ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
OMER
2001
15 years 1 months ago
UML for Embedded Real-time Systems and the UML Extensions by ARTISAN Software Tools
: Modelling software using the Unified Modelling Language (UML) also for embedded real-time systems (ERS) becomes more and more popular since the complexity of these systems increa...
Andreas Korff
173
Voted
TII
2011
206views Education» more  TII 2011»
14 years 7 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...