409 search results - page 31 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
AGTIVE
1999
Springer
15 years 4 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
100
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...