𝔖 Bobbio Scriptorium
✦   LIBER   ✦

User verification of the FRBR conceptual model

✍ Scribed by Pisanski, Jan; Žumer, Maja

Book ID
126928870
Publisher
Emerald Group Publishing Limited
Year
2012
Tongue
English
Weight
263 KB
Volume
68
Category
Article
ISSN
0022-0418

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification and validation of the SACHE
Verification and validation of the SACHEM conceptual model
✍ M. LE GOC; C. FRYDMAN; L. TORRES 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 611 KB

We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operational

Ontology-based verification of core mode
Ontology-based verification of core model conformity in conceptual modeling
✍ Claudia Hess; Christoph Schlieder 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 520 KB

Reference models, often called core models are developed in various application domains. Until now, no computational support exists for the task of verifying the conformity between such core models and their domain models. The approach developed at Bamberg University uses Semantic Web technologies t