visual formalisms
Volume 31: Visual Formalisms for Patterns 2010
... Abstract: Visual modelling notations such as constraint diagrams can be used for the behavioural specifications of software ...of visual specification ...
15
Volume 31: Visual Formalisms for Patterns 2010
... However, to date very few modelling tools provide integrated automatic support for detecting bad model smells and invoking appropriate model refactoring techniques. The state-of-the-art only supports very limited types ...
13
Volume 25: Visual Formalisms for Patterns 2009
... Design patterns aid rapid development only if the tool support is flexibly solved. Defining and reusing patterns should be seamless, otherwise users would remodel the pattern instead. Also, design-time validation should ...
13
Volume 25: Visual Formalisms for Patterns 2009
... Abstract: When creating an editor for a visual language, a challenging task is the layout specification. Many visual languages, e.g., Ecore diagrams or Petri nets, show similar layout characteristics, and ...
14
Volume 31: Visual Formalisms for Patterns 2010
... The differences among those patterns are described in [ 12 ] in connection with trust relationships; each pattern has implication on trust management and what security threats the corres[r] ...
15
Volume 31: Visual Formalisms for Patterns 2010
... Before introducing the formal foundation of DPF, the terminology adopted in this paper is clarified in the following. The word “model” has different meanings in different contexts. In software engineering, model denotes ...
13
Volume 25: Visual Formalisms for Patterns 2009
... a visual notation, but is common to all in this group, with the exception of UML Collaboration annotations[RJB04] which does place the collaboration, or pattern instance, as a first-class ...
13
Volume 25: Visual Formalisms for Patterns 2009
... The most common way to model business processes is to use a graphical modeling language. The most widespread notation are business process diagrams modeled in the language BPMN. In this paper, we formalize structural ...
13
Volume 25: Visual Formalisms for Patterns 2009
... In case of applying a model transformation system, the existing transformation environments must be slightly modified for this purpose. The pattern application is an interactive process con- trolled by the designer. ...
11
Volume 25: Visual Formalisms for Patterns 2009
... A textual DSL has been presented that makes it easy to edit the pattern catalog using standard text editors. At the same time this DSL is the meta-model or rather forms the foundation of[r] ...
12
Volume 25: Visual Formalisms for Patterns 2009
... Let us illustrate the above using the example language of UML Activities: The runtime meta- model of UML Activities adds concepts such as an ActivityExecution class, a Token class 1 etc.[r] ...
11
Volume 31: Visual Formalisms for Patterns 2010
... The visual language has expressiveness equivalent to domain-specific code written with APIs, but with a lower abstraction gradient, augmented understanding, reduced effort, and a much shallower learning curve via ...
13
Volume 25: Visual Formalisms for Patterns 2009
... This article has presented a formal language for describing visual model-notations, which incor- porates the notion of patterns as language elements in formal visualization descriptions. This research provides the ...
13
Volume 31: Visual Formalisms for Patterns 2010
... To enable user-controlled layout behavior, the modularization of layout behavior is required. Our approach is based on the concept of layout patterns (LPs), which were introduced in [MM09a]: Each pattern encapsulates ...
13
Volume 31: Visual Formalisms for Patterns 2010
... The use of the pattern language described above is dedicated to teams of designers focused on the design of collaborative interactive systems. The initial set of design patter[r] ...
13
Inferential power, formalisms, and scientific models
... are formalisms? As briefly stated above, formalisms are mathematical lan- guages that allow one to present mathematical statements or objects and draw infer- ences about them by means of general inference ...
14
On the Computational Complexity of Dominance Links in Grammatical Formalisms
... Dominance links were introduced in grammars to model long distance scram- bling phenomena, motivating the defi- nition of multiset-valued linear indexed grammars (MLIGs) by Rambow (1994b), and inspiring quite a few ...
11
Towards Convenient Bi Directional Grammar Formalisms
... Towards Convenient Bi Directional Grammar Formalisms , , c Towards Convenient Bi Directional G r a m m a r Formalisms ? I ' ? ' Abstract P N e w m z r n IBM Pale Alto Scientific Center 1530 Page Mill[.] ...
5
Parsing Some Constrained Grammar Formalisms
... We describe the scheme by developing a Cocke-Kasami-Younger CKY-like pure bottom-up recognition algorithm for Lin- ear Indexed Grammars and show how it can be adapted to give algorithms [r] ...
46