1323 search results - page 19 / 265 » Extended Modeling Languages for Interaction Protocol Design |
144
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
175
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
150
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
167
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
162
click to vote
JUCS
2008
15 years 5 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...