79 search results - page 2 / 16 » Structure and Semantics of Arrow Diagrams |
ACS
2006
13 years 5 months ago
2006
We have introduced, in a previous paper, the fundamental lax 2-category of a `directed space' X. Here we show that, when X has a T1-topology, this structure can be embedded i...
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
ICEIS
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
AGTIVE
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
AOSE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...