177 search results - page 7 / 36 » Formal agent-oriented modeling with UML and graph transforma... |
ENTCS
2008
13 years 7 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
AGTIVE
2003
Springer
14 years 23 days ago
2003
Springer
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
ASM
2010
ASM
14 years 2 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...