2021 search results - page 243 / 405 » COCO: Composition Model and Composition Model Implementation |
163
click to vote
FMOODS
2008
15 years 7 months ago
2008
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program tr...
182
click to vote
PODC
1999
ACM
15 years 10 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
155
click to vote
ICDE
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
162
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
144
click to vote
FDL
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...