Sciweavers

213 search results - page 28 / 43
» diagrams 2004
Sort
View
BPM
2004
Springer
108views Business» more  BPM 2004»
14 years 27 days ago
SMART: System Model Acquisition from Requirements Text
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
Dov Dori, Nahum Korda, Avi Soffer, Shalom Cohen
CAISE
2004
Springer
14 years 27 days ago
Ontologies for Analysis and Improvement of Business Process Quality in a Virtual Enterprise
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...
Alexandra Galatescu, Taisia Greceanu
CAV
2004
Springer
93views Hardware» more  CAV 2004»
14 years 27 days ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
GD
2004
Springer
14 years 26 days ago
3D Visualization of Semantic Metadata Models and Ontologies
Abstract. We propose an algorithm for the 3D visualization of general ontology models used in many applications, such as semantic web, entity-relationship diagrams and other databa...
Charalampos Papamanthou, Ioannis G. Tollis, Martin...
GG
2004
Springer
14 years 26 days ago
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
Esther Guerra, Juan de Lara