183 search results - page 14 / 37 » The Downward-Closure of Petri Net Languages |
164
click to vote
MODELS
2009
Springer
16 years 18 days ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
154
click to vote
CAAP
1990
15 years 9 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
194
click to vote
SIES
2007
IEEE
16 years 9 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
147
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
149
click to vote
APN
1999
Springer
15 years 10 months ago
1999
Springer
: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key bene...