Sciweavers

24 search results - page 1 / 5
» Static BiLog: a Unifying Language for Spatial Structures
Sort
View
FUIN
2007
90views more  FUIN 2007»
13 years 3 months ago
Static BiLog: a Unifying Language for Spatial Structures
Giovanni Conforti, Damiano Macedonio, Vladimiro Sa...
ICALP
2005
Springer
13 years 9 months ago
Spatial Logics for Bigraphs
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
Giovanni Conforti, Damiano Macedonio, Vladimiro Sa...
SOSYM
2002
74views more  SOSYM 2002»
13 years 3 months ago
On the interpretation of binary associations in the Unified Modelling Language
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement concerning what an association is, sema...
Perdita Stevens
WISE
2002
Springer
13 years 8 months ago
UTML: Unified Transaction Modeling Language
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
Nektarios Gioldasis, Stavros Christodoulakis
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
13 years 10 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...