By Stefan Jablonski, Roland Kaschek, Bernhard Thalheim (auth.), Carlos Alberto Heuser, Günther Pernul (eds.)

ISBN-10: 364204946X

ISBN-13: 9783642049460

ISBN-10: 3642049478

ISBN-13: 9783642049477

This booklet constitutes the refereed joint court cases of 8 overseas workshops held at the side of the twenty eighth overseas convention on Conceptual Modeling, ER 2009, in Gramado, Brazil, in November 2009.

The 33 revised complete papers offered have been conscientiously reviewed and chosen from a hundred submissions. themes addressed by means of the workshops are lively conceptual modeling of studying (ACM-L), conceptual modeling within the huge (CoMoL), evolving theories of conceptual modeling (ETheCoM), workshop on foundations and practices of UML (FP-UML), joint foreign workshop on metamodels, ontologies, semantic applied sciences, and data structures for the semantic internet (MOST-ONISW), caliber of data structures (QoIS), necessities, Intentions and ambitions in conceptual modeling ( RIGiM) and semantic and conceptual matters in geographic details structures (SeCoGIS).

Show description

Read or Download Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings PDF

Similar nonfiction_7 books

Get Welding Robots: Technology, System Issues and Applications PDF

From motor vehicle production to the creation of area of interest items, welding is now probably the most common and winning functions of commercial robotics. Welding Robotics: know-how, method concerns and alertness is a close review of robot welding at first of the twenty-first century.

Download e-book for kindle: Waves in Nonlinear Pre-Stressed Materials by Ray W. Ogden (auth.), Michel Destrade, Giuseppe Saccomandi

The papers during this ebook offer a distinct cutting-edge multidisciplinary evaluation as regards to waves in pre-stressed fabrics in the course of the interplay of a number of themes, starting from the mathematical modelling of incremental fabric reaction (elastic and inelastic), to the research of the governing differential equations and boundary-value difficulties, and to computational tools for the answer to those difficulties, with specific connection with business, geophysical, and biomechanical functions.

Extra resources for Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings

Sample text

We must note that different SC proofs and its corresponding AT proofs, as the one shown, are represented, all of them, by the sole N D in (c). A1 , A2 , A3 ⇒ A4 , A2 , A5 A1 , A2 , A3 ⇒ A4 , A2 ∨ A5 A1 , A2 ∧ A3 ⇒ A4 , A2 ∨ A5 A1 , A2 , A3 ⇒ A4 , A2 , A5 (1) (2) A1 , A2 ∧ A3 ⇒ A4 ∨ (A2 ∨ A5 ) A1 ∧ (A2 ∧ A3 ) ⇒ A4 ∨ (A2 ∨ A5 ) A1 ∧ (A2 ∧ A3 ) A1 , A2 ∧ A3 ⇒ A4 , A2 , A5 (3) (4) A2 ∧ A3 A1 , A2 ∧ A3 ⇒ A4 , A2 ∨ A5 A2 A1 , A2 ∧ A3 ⇒ A4 ∨ (A2 ∨ A5 ) A1 ∧ (A2 ∧ A3 ) ⇒ A4 ∨ (A2 ∨ A5 ) (a) A2 ∨ A5 A4 ∨ (A2 ∨ A5 ) (b) (c) T (A1 ∧ (A2 ∧ A3 )), F (A4 ∨ (A2 ∨ A5 )), T A1 , T (A2 ∧ A3 ), F A4 , F (A2 ∨ A5 ), T A2 , T A3 , F A2 , F A5 T (A1 ∧ (A2 ∧ A3 )), F (A4 ∨ (A2 ∨ A5 )), T A1 , T (A2 ∧ A3 ), F A4 , F (A2 ∨ A5 ), T A2 , T A3 T (A1 ∧ (A2 ∧ A3 )), F (A4 ∨ (A2 ∨ A5 )), T A1 , T (A2 ∧ A3 ), F A4 , F (A2 ∨ A5 ) T (A1 ∧ (A2 ∧ A3 )), F (A4 ∨ (A2 ∨ A5 )), T A1 , T (A2 ∧ A3 ) T (A1 ∧ (A2 ∧ A3 )), F (A4 ∨ (A2 ∨ A5 )) (d) This example is carried out in Minimal Logic.

105–114. Australian Computer Society (2006) 8. K. method and experimental evaluation. ) ER 2002. LNCS, vol. 2784, pp. 264–274. Springer, Heidelberg (2002) 9. D. ): Term Graph Rewriting – Theory and Practice. John Wiley and Sons, Chichester (1993) 10. : Database abstractions: Aggregation and generalization. ACM ToDS 2(2), 105–133 (1977) 11. : Entity Relationship Modeling – Foundations of Database Technology. Springer, Heidelberg (2000) 12. : Component development and construction for database design.

We have then evaluated the methods using On Computing the Importance of Entity Types 29 two distinct case studies: the osCommerce [9] and the UML metaschema. The original methods have been evaluated with the input knowledge they are able to process: the entity types, attributes, associations and generalization/specialization relationships of the structural schemas. For the osCommerce, the extended versions have been evaluated with the complete structural schema, and the complete behavioural schema (including event types and their pre/post conditions).

Download PDF sample

Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings by Stefan Jablonski, Roland Kaschek, Bernhard Thalheim (auth.), Carlos Alberto Heuser, Günther Pernul (eds.)


by William
4.0

Rated 4.46 of 5 – based on 32 votes