Results 1 - 10 of 2,056

Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse

by Karen Li, John Hosking, John Grundy, Tony Ly, Brian Webb, Karen Li, John Hosking, John Grundy, Tony Ly, Brian Webb
"... Abstract: This paper describes an approach for using patterns in domain-specific visual language (DSVL) meta-tools. Our approach facilitates DSVL development via high level design-for-reuse and design-by-reuse pattern modelling tools. It provides a simple visual pattern modelling language that is us ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
that is used in parallel with DSVL meta-model specifications for modelling and reusing DSVL structural and behavioural design patterns. It also provides tool support for instantiating and visualising structural patterns, as well as executing behavioural patterns on DSVL model instances. Keywords: Meta

Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse

by Paolo Bottoni, Esther Guerra, Juan De Lara, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Karen Li, John Hosking, John Grundy, Tony Ly, Brian Webb, Karen Li, John Hosking, John Grundy, Tony Ly, Brian Webb
"... Proceedings of the ..."
Abstract - Add to MetaCart
Proceedings of the

Process Instantiation

by G. Decker, J. Mendling - Data & Knowledge Engineering
"... Although several process modeling languages allow one to specify processes with multiple start elements, the precise semantics of such models are often unclear, both from a pragmatic and from a theoretical point of view. This paper addresses the lack of research on this problem and introduces the CA ..."
Abstract - Cited by 12 (7 self) - Add to MetaCart
the CASU framework (from Creation, Activation, Subscription, Unsubscription). The contribution of this framework is a systematic description of design alternatives for the specification of instantiation semantics of process modeling languages. We classify six prominent languages by the help

Instantiation of General Terms

by Zachary Anderson, David Gay, Rob Ennals, Eric Brewer - Journal of Verbal Learning and Verbal Behavior , 1976
"... Unintended or unmediated data sharing is a frequent cause of insidious bugs in multithreaded programs. We present a tool called SharC (short for Sharing Checker) that allows a user to write lightweight annotations to declare how they believe objects are being shared between threads in their program. ..."
Abstract - Cited by 37 (7 self) - Add to MetaCart
. SharC uses a combination of static and dynamic analyses to check that the program conforms to this specification. SharC allows any type to have one of five “sharing modes ” — private to the current thread, read-only, shared under the control of a specified lock, intentionally racy, or checked

Instantiation Semantics for Process Models

by Gero Decker, Jan Mendling - In: Proceedings of the 6th International Conference on Business Process Management (BPM), LNCS 2008, S
"... Abstract. Although several process modeling languages allow one to specify processes with multiple start elements, the precise semantics of such models are often unclear, both from a pragmatic and from a theoretical point of view. This paper addresses the lack of research on this problem and introdu ..."
Abstract - Cited by 8 (4 self) - Add to MetaCart
and introduces the CASU framework. The contribution of this framework is a systematic description of design alternatives for the specification of instantiation semantics of process modeling languages. We classify six of the most prominent languages by the help of this framework. Our work provides the basis

Complete Instantiation-Based Interpolation

by Nishant Totla, Thomas Wies
"... Craig interpolation has been a valuable tool for formal methods with interesting applications in program analysis and verification. Modern SMT solvers implement interpolation procedures for the theories that are most commonly used in these applications. However, many application-specific theories re ..."
Abstract - Cited by 6 (3 self) - Add to MetaCart
Craig interpolation has been a valuable tool for formal methods with interesting applications in program analysis and verification. Modern SMT solvers implement interpolation procedures for the theories that are most commonly used in these applications. However, many application-specific theories

A Scheme for Integrating Concrete Domains into Concept Languages

by Franz Baader, Philipp Hanschke , 1991
"... A drawback which concept languages based on kl-one have is that all the terminological knowledge has to be defined on an abstract logical level. In many applications, one would like to be able to refer to concrete domains and predicates on these domains when defining concepts. Examples for such conc ..."
Abstract - Cited by 280 (22 self) - Add to MetaCart
extension by some specific concrete domain. We shall define a terminological and an assertional language, and consider the important inference problems such as subsumption, instantiation, and consistency. The formal semantics as well as the reasoning algorithms are given on the scheme level. In contrast

Instantiation Semantics of Temporal Defaults

by Stefan Brass, Udo W. Lipeck, Pedro Resende , 1993
"... . Defaults are useful in temporal logic, e.g. in order to formalize implicit negation, the "minimal change" frame rule, and inheritance with overriding. Temporal specification formalisms usually have such defaults built-in, but the on-going discussion about the right implicit assumptions s ..."
Abstract - Add to MetaCart
. Defaults are useful in temporal logic, e.g. in order to formalize implicit negation, the "minimal change" frame rule, and inheritance with overriding. Temporal specification formalisms usually have such defaults built-in, but the on-going discussion about the right implicit assumptions

Centering: A parametric theory and its instantiations

by Massimo Poesio, Barbara Di Eugenio, Rosemary Stevenson, Janet Hitzeman - Computational Linguistics , 2004
"... Centering Theory is the best known framework for theorizing about local coherence and salience; however, its claims are articulated in terms of notions which are only partially specified, such as ‘utterance’, ‘realization’, or ‘ranking’. A great deal of research has attempted to arrive at more detai ..."
Abstract - Cited by 69 (7 self) - Add to MetaCart
detailed specifications of these PARAMETERS of the theory; as a result, the claims of Centering can be INSTANTIATED in many different ways. We investigated in a systematic fashion the effect of these different ways of setting the parameters on the theory’s claims. Doing this required, first of all

A Generative Approach to Framework Instantiation

by Vaclav Cechticky, Philippe Chevalley, Alessandro Pasetti, Ro Pasetti, Walter Schaufelberger - Proceedings of the GPCE´2003 , 2003
"... This paper describes the OBS Instantiation Environment, which demonstrates a generative approach to automating the instantiation process of a component-based framework. The process is automated in the sense that designers configure and assemble the framework components using intuitive visual ope ..."
Abstract - Cited by 11 (1 self) - Add to MetaCart
operations in a GUI-based environment. Their configuration actions are then used to automatically generate the framework instantiation code. Generative techniques for framework instantiation are not new but tend to rely on domainspecific languages or on bespoke specification encoding and compilation
Results 1 - 10 of 2,056