417 search results - page 40 / 84 » Extending UML for Model Composition |
171
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
137
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Rational Unified Process (RUP) is a use case driven iterative software engineering process User Interface design within the RUP involves user interface modelling and user inte...
145
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
139
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
166
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce the Symphony framework, a software ion layer that can sit on top of grid systems. Symphony provides a unified API for grid application developers and offers a graphic...