Sciweavers

2414 search results - page 182 / 483
» Reasoning Support for OWL-E
Sort
View
EDOC
2007
IEEE
15 years 10 months ago
A Tool for Enterprise Architecture Analysis
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
Pontus Johnson, Erik Johansson, Teodor Sommestad, ...
BPM
2006
Springer
135views Business» more  BPM 2006»
15 years 10 months ago
Improving Exception Handling by Discovering Change Dependencies in Adaptive Process Management Systems
Abstract. Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process mode...
Barbara Weber, Werner Wild, Markus Lauer, Manfred ...
ESWS
2006
Springer
15 years 9 months ago
Resolving Inconsistencies in Evolving Ontologies
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves...
Peter Plessers, Olga De Troyer
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 9 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
BIRTHDAY
2005
Springer
15 years 8 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè