Sciweavers

203 search results - page 26 / 41
» Using OCL in Executable UML
Sort
View
ISSRE
2006
IEEE
14 years 2 months ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
CSSE
2008
IEEE
14 years 3 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
UML
2005
Springer
14 years 2 months ago
Exceptional Use Cases
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
Aaron Shui, Sadaf Mustafiz, Jörg Kienzle, Chr...
APCCM
2009
13 years 9 months ago
Conceptual Business Document Modeling using UN/CEFACT's Core Components
Before two businesses can engage in a business-tobusiness process an agreement about the process execution order and the business documents exchanged in the collaborative process ...
Philipp Liegl
MOMPES
2006
IEEE
14 years 2 months ago
Model-Driven Development of Real-Time Systems with UML 2.0 and C
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
Mohammad Ullah Khan, Kurt Geihs, Felix Gutbrodt, P...