Conceptual Modeling: Foundations and Applications

From the reviews: "Collection of papers in honor of John Mylopoulos, an important contributor to many computer science fields. In recognition Mylopoulos' pioneering contributions to the conceptual modeling field, all 25 papers explore conceptual modeling as an important tool. ... While all of the contributions are of a high quality, 'On Non-Functional Requirements in Software Engineering' is an excellent and readable overview of the field. ... these papers 'are of lasting significance and could also be used to support a course on conceptual modeling." (M. D. Derk, ACM Computing Reviews, December, 2009)

• John Mylopoulos: Sewing Seeds of Conceptual Modelling.- John Mylopoulos: Sewing Seeds of Conceptual Modelling.- Foundations.- Foundations of Temporal Conceptual Data Models.- Faceted Lightweight Ontologies.- The Ontological Level: Revisiting 30 Years of Knowledge Representation.- Some Notes on Models and Modelling.- A Semantical Account of Progression in the Presence of Defaults.- Social Modeling and i*.- Information Systems.- Data Modeling in Dataspace Support Platforms.- Conceptual Modeling: Past, Present and the Continuum of the Future.- On Conceptual Content Management.- Information Integration.- Conceptual Modeling for Data Integration.- Clio: Schema Mapping Creation and Data Exchange.- Heterogeneity in Model Management: A Meta Modeling Approach.- Associativity and Commutativity in Generic Merge.- Web and Services.- The History of WebML Lessons Learned from 10 Years of Model-Driven Development of Web Applications.- GAMBUSE: A Gap Analysis Methodology for Engineering SOA-Based Applications.- Web Service Composition via the Customization of Golog Programs with User Preferences.- Software and Requirements Engineering.- Dealing with Complexity Using Conceptual Models Based on Tropos.- On Non-Functional Requirements in Software Engineering.- Reasoning About Alternative Requirements Options.- Supporting Requirements Elicitation through Goal/Scenario Coupling.- Enhancing Tropos with Commitments.- Implementations.- “Reducing” CLASSIC to Practice: Knowledge Representation Theory Meets Reality.- The KBMS Project and Beyond.- Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.