According to the UML Standard 2.0 class and sequence diagrams are defined in a descriptive way by a MOF meta-model and semi-formal constraints. This paper presents a formal and constructive definition of the abstract syntax of UML class and sequence diagrams based on the well-defined theory of typed attributed graph transformation with inheritance and application conditions. The generated langu...

‎let $g$ be a graph with vertex set $v(g)$ and edge set $x(g)$ and consider the set $a={0,1}$‎. ‎a mapping $l:v(g)longrightarrow a$ is called binary vertex labeling of $g$ and $l(v)$ is called the label of the vertex $v$ under $l$‎. ‎in this paper we introduce a new kind of graph energy for the binary labeled graph‎, ‎the labeled graph energy $e_{l}(g)$‎. ‎it depends on the underlying graph $g$...

A set S ⊆ V (G) is stable (or independent) if no two vertices from S are adjacent. Let Ψ(G) be the family of all local maximum stable sets [6] of graph G, i.e., S ∈ Ψ(G) if S is a maximum stable set of the subgraph induced by S ∪ N(S), where N(S) is the neighborhood of S. If I is stable and there is a matching from N(I) into I, then I is a crown of order |I|+ |N(I)|, and we write I ∈ Crown(G) [...

Abstract We introduce semidistrim lattices , a simultaneous generalization of semidistributive and trim that preserves many their common properties. prove the elements lattice correspond to independent sets in an associated graph called Galois products intervals are order complex is either contractible or homotopy equivalent sphere. Semidistrim have natural rowmotion operator, which simultaneou...

We show that any complete k-partite graph G on n vertices, with k ≥ 3, whose edges are two-coloured, can be covered by two vertex-disjoint monochromatic paths of distinct colours, under the necessary assumption that the largest partition class of G contains at most n/2 vertices. This extends known results for complete and complete bipartite graphs. Secondly, we show that in the same situation, ...

A graph G = (V,E) is word-representable if there exists a word w over the alphabet V such that letters x and y, x 6= y, alternate in w if and only if (x, y) ∈ E. Halldórsson, Kitaev and Pyatkin have shown that a graph is word-representable if and only if it admits a so-called semi-transitive orientation. A corollary of this result is that any 3-colorable graph is wordrepresentable.Masárová Akro...