Sciweavers

417 search results - page 25 / 84
» Extending UML for Model Composition
Sort
View
109
Voted
SOSYM
2002
66views more  SOSYM 2002»
15 years 3 months ago
Consistent specification of interface suites in UML
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...
Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper...
139
Voted
KBSE
2003
IEEE
15 years 9 months ago
Model-based Verification of Web Service Compositions
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...
Howard Foster, Sebastián Uchitel, Jeff Mage...
133
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
Mario Friske, Bernd-Holger Schlingloff
147
Voted
QSIC
2005
IEEE
15 years 9 months ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff
148
Voted
IIWAS
2004
15 years 5 months ago
ReFFlow: A Model and Generic Approach to Flexibility of Web Service Compositions
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
Dimka Karastoyanova, Alejandro P. Buchmann