Sciweavers

339 search results - page 14 / 68
» Semantics and Execution of Domain Specific Models
Sort
View
FASE
2004
Springer
13 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
ER
2001
Springer
128views Database» more  ER 2001»
14 years 13 days ago
Pockets of Flexibility in Workflow Specification
: Workflow technology is currently being deployed in quite diverse domains. However, the element of change is present in some degree and form in almost all domains. A workflow impl...
Shazia W. Sadiq, Wasim Sadiq, Maria E. Orlowska
WEBDB
2005
Springer
158views Database» more  WEBDB 2005»
14 years 1 months ago
iFuice - Information Fusion utilizing Instance Correspondences and Peer Mappings
We present a new approach to information fusion of web data sources. It is based on peer-to-peer mappings between sources and utilizes correspondences between their instances. Suc...
Erhard Rahm, Andreas Thor, David Aumueller, Hong H...
CAISE
2006
Springer
13 years 11 months ago
Semantic Annotation Framework to Manage Semantic Heterogeneity of Process Models
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...
Yun Lin, Darijus Strasunskas, Sari Hakkarainen, Jo...
RE
2010
Springer
13 years 2 months ago
Feature Unweaving: Refactoring Software Requirements Specifications into Software Product Lines
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
Reinhard Stoiber, Samuel Fricker, Michael Jehle, M...