04566nam 2200661 450 99646561850331620210216182223.01-282-29785-697866122978543-642-02463-710.1007/978-3-642-02463-4(CKB)1000000000761228(EBL)450459(OCoLC)437346632(SSID)ssj0000292391(PQKBManifestationID)11237018(PQKBTitleCode)TC0000292391(PQKBWorkID)10269180(PQKB)10507082(DE-He213)978-3-642-02463-4(MiAaPQ)EBC450459(MiAaPQ)EBC6352839(PPN)136310362(EXLCZ)99100000000076122820210216d2009 uy 0engur|n|---|||||txtccrConceptual modeling, foundations and applications essays in honor of John Mylopoulos /Alexander T. Borgida [and three others] (editors)1st ed. 2009.Berlin ;Heidelberg :Springer,[2009]©20091 online resource (527 p.)Rheinwerk computing ;5600Description based upon print version of record.3-642-02462-9 Includes bibliographical references and index.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.This Festschrift volume, published in honor of John Mylopoulos on the occasion of his retirement from the University of Toronto, contains 25 high-quality papers, written by leading scientists in the field of conceptual modeling. The volume has been divided into six sections. The first section focuses on the foundations of conceptual modeling and contains material on ontologies and knowledge representation. The four sections on software and requirements engineering, information systems, information integration, and web and services, represent the chief current application domains of conceptual modeling. Finally, the section on implementations concentrates on projects that build tools to support conceptual modeling. With its in-depth coverage of diverse topics, this book could be a useful companion to a course on conceptual modeling.Lecture notes in computer science ;5600.Conceptual structures (Information theory)System designSystem analysisConceptual structures (Information theory)System design.System analysis.003.54Mylopoulos JohnBorgida Alexander T.MiAaPQMiAaPQMiAaPQBOOK996465618503316Conceptual modeling: foundations and applications1120227UNISA02765nam 22004935 450 99641820530331620230329140919.03-030-63595-310.1007/978-3-030-63595-4(CKB)4100000011645303(DE-He213)978-3-030-63595-4(MiAaPQ)EBC6424323(PPN)252514408(EXLCZ)99410000001164530320201210d2020 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierRewriting Logic and Its Applications[electronic resource] 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers /edited by Santiago Escobar, Narciso Martí-Oliet1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (VII, 217 p. 39 illus., 11 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;12328Includes index.3-030-63594-5 Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability.This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.Theoretical Computer Science and General Issues,2512-2029 ;12328Computer scienceComputer Science Logic and Foundations of ProgrammingComputer science.Computer Science Logic and Foundations of Programming.005.1015113Escobar SantiagoMartí-Oliet N(Narciso),MiAaPQMiAaPQUtOrBLWBOOK996418205303316Rewriting logic and its applications2247230UNISA