56 search results - page 3 / 12 » Formal Modeling for UML MARTE Concurrency Resources |
ICECCS
2010
IEEE
13 years 8 months ago
2010
IEEE
UML
2000
Springer
14 years 3 days ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
SCP
2002
13 years 8 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...