2139 search results - page 40 / 428 » Modeling Aspect-Oriented Compositions |
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
123
click to vote
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
WWW
2006
ACM
16 years 2 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
102
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
101
click to vote
FORTE
2008
15 years 3 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...