English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task.The reason of this difficulty is the ambiguity and the absence of a preciseformal semantic of such semi-formal formalism. A variety of semantics exist inthe literature having tackled the aspects covered by this language. We can giveas example denotational, functional and compositional semantics. To cope withthe recent tendency which gave a heterogeneous semantic to UML diagrams, we aimto define an algebraic presentation of the semantic of UML AD. In this work, wedefine a formal semantic of UML 2.0 AD based on institution theory. For UML ADformalism, which is a graphical language, no precise formal semantic is givento it. We use the institution theory to define the intended semantic. Thus, theUML AD formalism will be defined in its own natural semantic.

A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory