Sciweavers

1009 search results - page 76 / 202
» transML: A Family of Languages to Model Model Transformation...
Sort
View
DKE
2000
87views more  DKE 2000»
15 years 6 months ago
On the representation of roles in object-oriented and conceptual modelling
: The duality of objects and relationships is so deeply embedded in our thinking that almost all modelling languages include it as a fundamental distinction. Yet there is evidence ...
Friedrich Steimann
ASP
2003
Springer
15 years 11 months ago
What's in a model? Epistemological analysis of Logic Programming
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
Marc Denecker
PLILP
1992
Springer
15 years 10 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft
IEE
2008
116views more  IEE 2008»
15 years 6 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
IFIP
2009
Springer
16 years 28 days ago
Transformations between Cryptographic Protocols
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
Joshua D. Guttman