417 search results - page 40 / 84 » Extending UML for Model Composition |
142
Voted
ICWS
2008
IEEE
15 years 5 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...
108
click to vote
AUIC
2002
IEEE
15 years 8 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...
120
click to vote
EUROMICRO
2005
IEEE
15 years 9 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...
114
click to vote
SIGSOFT
2007
ACM
16 years 4 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 ...
135
Voted
CCGRID
2002
IEEE
15 years 8 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...