6 search results - page 1 / 2 » An MSC Based Representation of DiCons |
SDL
2001
13 years 6 months ago
2001
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
SAM
2000
13 years 5 months ago
2000
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
EOR
2006
13 years 4 months ago
2006
The natural metric of a weighted graph is the length of the shortest paths between all pairs of vertices. The investigated problem consists in a representation of a given metric b...
IJAR
2008
13 years 4 months ago
2008
As is well-known, residuated lattices (RLs) on the unit interval correspond to leftcontinuous t-norms. Thus far, a similar characterization has not been found for RLs on the set o...
SQJ
2008
13 years 4 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...