ECEASST 2008 | Sciweavers

15

ECEASST
2008

110views more ECEASST 2008»

Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets

13 years 4 months ago

: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...

Enrico Biermann, Tony Modica

claim paper

Read More »

12

click to vote

ECEASST
2008

88views more ECEASST 2008»

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators

13 years 4 months ago

Download tfs.cs.tu-berlin.de

: Graph parsing is known to be computationally expensive. For this reason the construction of special-purpose parsers may be beneficial for particular graph languages. In the domai...

Steffen Mazanek, Mark Minas

claim paper

Read More »

3

click to vote

ECEASST
2008

70views more ECEASST 2008»

Improving Live Sequence Chart to Automata Transformation for Verification

13 years 4 months ago

Download vv.cs.byu.edu

Rahul Kumar, Eric G. Mercer

claim paper

Read More »

3

click to vote

ECEASST
2008

46views more ECEASST 2008»

Dynamic Software Architectures Verification using DynAlloy

13 years 4 months ago

Download rap.dsi.unifi.it

Antonio Bucchiarone, Juan P. Galeotti

claim paper

Read More »

9

click to vote

ECEASST
2008

82views more ECEASST 2008»

Interaction nets: programming language design and implementation

13 years 4 months ago

Download tfs.cs.tu-berlin.de

: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...

Abubakar Hassan, Ian Mackie, Shinya Sato

claim paper

Read More »

7

click to vote

ECEASST
2008

60views more ECEASST 2008»

On a Graph-Based Semantics for UML Class and Object Diagrams

13 years 4 months ago

Download opus.kobv.de

Arend Rensink, Anneke Kleppe

claim paper

Read More »

11

click to vote

ECEASST
2008

87views more ECEASST 2008»

Visual Design and Reasoning with the Use of Hypergraph Transformations

13 years 4 months ago

Download tfs.cs.tu-berlin.de

: This paper deals with visual design and reasoning. A visual language with its internal representation in the form of attributed hierarchical hypergraphs is discussed. Hypergraph ...

Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan ...

claim paper

Read More »

14

click to vote

ECEASST
2008

77views more ECEASST 2008»

Using OCL in Executable UML

13 years 4 months ago

Download st.inf.tu-dresden.de

Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...

Ke Jiang, Lei Zhang, Shigeru Miyake

claim paper

Read More »

3

click to vote

ECEASST
2008

68views more ECEASST 2008»

Specifying Executable Platform-Independent Models using OCL

13 years 4 months ago