Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,218,465 papers from all fields of science
Search
Sign In
Create Free Account
XML Metadata Interchange
Known as:
.xmi
, XMI
The XML Metadata Interchange (XMI) is an Object Management Group (OMG) standard for exchanging metadata information via Extensible Markup Language…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
37 relations
ATLAS Transformation Language
Altova UModel
ArgoUML
Business Process Definition Metamodel
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Model clone detection based on tree comparison
D. Rattan
,
R. Bhatia
,
M. Singh
IEEE India Conference
2012
Corpus ID: 34338117
Model driven development has become a key industry practice. With higher levels of abstraction and advent of domain specific…
Expand
Highly Cited
2012
Highly Cited
2012
Tools of model transformation by graph transformation: A comparative study
G. Taentzer
,
K. Ehrig
,
+6 authors
Szilvia Varró-Gyapay
International Conference on Education and e…
2012
Corpus ID: 9855647
The graph transformation is sweepingly used to express the model transformation. Most tools of graph transformation give a…
Expand
Highly Cited
2010
Highly Cited
2010
Towards clone detection in UML domain models
Harald Störrle
Journal of Software and Systems Modeling
2010
Corpus ID: 12707694
Code clones (i.e., duplicate fragments of code) have been studied for long, and there is strong evidence that they are a major…
Expand
Highly Cited
2008
Highly Cited
2008
A Process Semantics for BPMN
Peter Y. H. Wong
,
J. Gibbons
IEEE International Conference on Formal…
2008
Corpus ID: 13294524
Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the…
Expand
Highly Cited
2006
Highly Cited
2006
Validating timed UML models by simulation and verification
Iulian Ober
,
S. Graf
,
I. Ober
International Journal on Software Tools for…
2006
Corpus ID: 7949485
This paper presents a technique and a tool for model-checking operational (design level) UML models based on a mapping to a model…
Expand
Highly Cited
2005
Highly Cited
2005
Bridging Grammarware and Modelware
M. Wimmer
,
G. Kramler
ACM/IEEE International Conference on Model Driven…
2005
Corpus ID: 15436095
In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space…
Expand
Highly Cited
2002
Highly Cited
2002
Model Checking - Timed UML State Machines and Collaborations
Alexander Knapp
,
Stephan Merz
,
Christopher Rauh
Formal Techniques in Real-Time and Fault-Tolerant…
2002
Corpus ID: 9121976
We describe a prototype tool, HUGO/RT, that is designed to automatically verify whether the timed state machines in a UML model…
Expand
Highly Cited
2002
Highly Cited
2002
A study on the current state of the art in tool-supported UML-based static reverse engineering
Ralf Kollman
,
Petri Selonen
,
Eleni Stroulia
,
Tarja Systä
,
Albert Zündorf
Ninth Working Conference on Reverse Engineering…
2002
Corpus ID: 2033445
Today, software-engineering research and industry alike recognize the need for practical tools to support reverse-engineering…
Expand
Highly Cited
1997
Highly Cited
1997
Tail Index and Quantile Estimation with Very High Frequency Data
Jón Dańıelsson
,
C. G. Vries
1997
Corpus ID: 62894411
Highly Cited
1985
Highly Cited
1985
THE PENETRATION OF A FINGER INTO A VISCOUS FLUID IN A CHANNEL AND TUBE
D. Reinelt
,
P. Saffman
1985
Corpus ID: 15796080
The steady-state shape of a finger penetrating into a region filled with a viscous fluid is examined. The two-dimensional and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE