Download or read book Dynamic Specification of Temporal Semantics of Conceptual Models written by and published by . This book was released on 1991 with total page 90 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Object Modeling with the OCL written by Tony Clark and published by Springer. This book was released on 2003-07-31 with total page 287 pages. Available in PDF, EPUB and Kindle. Book excerpt: As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments of work reported at different conferences and workshops. This unique compilation addresses many important issues faced by advanced professionals and researchers in object modeling like e.g. real-time constraints, type checking, and constraint modeling.

Download or read book The Evolution of Conceptual Modeling written by Roland Kaschek and published by Springer Science & Business Media. This book was released on 2011-02-04 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: Conceptual modeling represents a recent approach to creating knowledge. It has emerged in response to the computer revolution, which started in the middle of the 20th century. Computers, in the meantime, have become a major knowledge media. Conceptual modeling provides an answer to the difficulties experienced throughout the development of computer applications and aims at creating effective, reasonably priced, and sharable knowledge about using computers in business. Moreover, it has become evident that conceptual modeling has the potential to exceed the boundaries of business and computer usage. This state-of-the-art survey originates from the International Seminar on the Evolution of Conceptual Modeling, held in Dagstuhl Castle, Germany, in April 2008. The major objective of this seminar was to look into conceptual modeling from a historical perspective with a view towards the future of conceptual modeling and to achieve a better understanding of conceptual modeling issues in several different domains of discourse, going beyond individual (modeling) projects. The book contains 14 chapters. These were carefully selected during two rounds of reviewing and improvement from 26 presentations at the seminar and are preceded by a detailed preface providing general insights into the field of conceptual modeling that are not necessarily discussed in any of the chapters but nevertheless aid in conceptualizing the inner structure and coherence of the field. The chapters are grouped into the following three thematic sections: the evolution of conceptual modeling techniques; the extension of conceptual modeling to a service-oriented, peer-to-peer, or Web context; and new directions for conceptual modeling.

Download or read book Modeling of Dynamic Object Systems written by Ralf Jungclaus and published by Springer-Verlag. This book was released on 2013-07-02 with total page 235 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Cognitive Modeling and Verbal Semantics written by Andrea C. Schalley and published by Walter de Gruyter. This book was released on 2011-05-03 with total page 465 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a unique approach to the semantics of verbs. It develops and specifies a decompositional representation framework for verbal semantics that is based on the Unified Modeling Language (UML), the graphical lingua franca for the design and modeling of object-oriented systems in computer science. The new framework combines formal precision with conceptual flexibility and allows the representation of very complicated details of verbal meaning, using a mixture of graphical elements as well as linearized constructs. Thereby, it offers a solution for different semantic problems such as context-dependency and polysemy. The latter, for instance, is demonstrated in one of the two well-elaborated applications of the framework within this book, the investigation of the polysemy of German setzen. Besides the formal specification of the framework, the book comprises a cognitive interpretation of important modeling elements, discusses general issues connected with the framework such as dynamic and static aspects of verbal meanings, questions of granularity, and general constraints applying to verbal semantics. Moreover, first steps towards a compositional semantics are undertaken, and a new verb classification based on this graphical approach is proposed. Since the framework is graphical in nature, the book contains many annotated figures, and the framework's modeling elements are illustrated by example diagrams. Not only scholars working in the field of linguistics, in particular in semantics, will find this book illuminating because of its new graphical approach, but also researchers of cognitive science, computational linguistics and computer science in general will surely appreciate it.

Download or read book TAPSOFT 91 Volume 2 written by S. Abramsky and published by Springer Science & Business Media. This book was released on 1991-03-28 with total page 502 pages. Available in PDF, EPUB and Kindle. Book excerpt: TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Download or read book Conceptual Modeling ER 97 written by David W. Embley and published by Springer Science & Business Media. This book was released on 1997-10-22 with total page 504 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Modeling, ER '97, held in Los Angeles, California, USA, in November 1997. The 32 revised full papers presented in the book were carefully selected from a total of 93 submissions. Also included are two full invited papers.The volume is divided in topical sections on automated design, temporal modeling, languages, activity modeling, applied modeling, object-oriented modeling, theoretical issues in modeling, experience and applications, distributed systems, integration, and tools.

Download or read book Handbook of Research on Multi Agent Systems Semantics and Dynamics of Organizational Models written by Dignum, Virginia and published by IGI Global. This book was released on 2009-03-31 with total page 630 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book provide a comprehensive view of current developments in agent organizations as a paradigm for both the modeling of human organizations, and for designing effective artificial organizations"--Provided by publisher.

Download or read book Dynamics in Information Systems written by Ingo Classen and published by . This book was released on 1996 with total page 42 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "A formal framework based on algebraic graph theory is presented that integrates specification and construction of dynamics in information systems. Specifications are based on temporal logic whose semantics is given by algebras and parial homomorphisms. Constructions are given by graph transformation rules whose operational nature provides a first step towards actual implementations. Both are related by a correctness notion. The formal framework is especially suited as a semantical basis for graphical notations as used in conceptual modeling, thus combining intuitiveness of such notations with precision of formal methods."

Download or read book Conceptual Modeling ER 2004 written by Paolo Atzeni and published by Springer. This book was released on 2005-01-17 with total page 889 pages. Available in PDF, EPUB and Kindle. Book excerpt: On behalf of the Organizing Committee, we would like to welcome you to the proccedings of the 23rd International Conference on Conceptual Modeling (ER 2004). This conference provided an international forum for technical discussion on conceptual modeling of information systems among researchers, developers and users. This was the third time that this conference was held in Asia; the?rst time was in Singapore in 1998 and the second time was in Yokohama, Japan in 2001. China is the third largest nation with the largest population in the world. Shanghai, the largest city in China and a great metropolis, famous in Asia and throughout the world, is therefore a most appropriate location to host this conference. This volume contains papers selected for presentation and includes the two keynote talks by Prof. Hector Garcia-Molina and Prof. Gerhard Weikum, and an invited talk by Dr. Xiao Ji. This volume also contains industrial papers and demo/poster papers. An additional volume contains papers from 6 workshops. The conference also featured three tutorials: (1) Web Change Management andDelta Mining: Opportunities andSolutions, by SanjayMadria, (2)A Survey of Data Quality Issues in Cooperative Information Systems, by Carlo Batini, and (3) Visual SQL - An ER-Based Introduction to Database Programming, by Bernhard Thalheim.

Download or read book Information Modelling and Knowledge Bases XIV written by H. Jaakkola and published by IOS Press. This book was released on 2003 with total page 326 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work includes the papers presented in the 12th European-Japanese Conference on Information Modelling and Knowledge Bases. Topics of research in this conference included the theory and practice of information modelling, conceptual modelling, and design and specification of information systems.

Download or read book Conceptual Modeling written by Heinrich C. Mayr and published by Springer. This book was released on 2017-10-28 with total page 536 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies.

Download or read book Spatio Temporal Stream Reasoning with Adaptive State Stream Generation written by Daniel de Leng and published by Linköping University Electronic Press. This book was released on 2017-09-08 with total page 153 pages. Available in PDF, EPUB and Kindle. Book excerpt: A lot of today's data is generated incrementally over time by a large variety of producers. This data ranges from quantitative sensor observations produced by robot systems to complex unstructured human-generated texts on social media. With data being so abundant, making sense of these streams of data through reasoning is challenging. Reasoning over streams is particularly relevant for autonomous robotic systems that operate in a physical environment. They commonly observe this environment through incremental observations, gradually refining information about their surroundings. This makes robust management of streaming data and its refinement an important problem. Many contemporary approaches to stream reasoning focus on the issue of querying data streams in order to generate higher-level information by relying on well-known database approaches. Other approaches apply logic-based reasoning techniques, which rarely consider the provenance of their symbolic interpretations. In this thesis, we integrate techniques for logic-based spatio-temporal stream reasoning with the adaptive generation of the state streams needed to do the reasoning over. This combination deals with both the challenge of reasoning over streaming data and the problem of robustly managing streaming data and its refinement. The main contributions of this thesis are (1) a logic-based spatio-temporal reasoning technique that combines temporal reasoning with qualitative spatial reasoning; (2) an adaptive reconfiguration procedure for generating and maintaining a data stream required to perform spatio-temporal stream reasoning over; and (3) integration of these two techniques into a stream reasoning framework. The proposed spatio-temporal stream reasoning technique is able to reason with intertemporal spatial relations by leveraging landmarks. Adaptive state stream generation allows the framework to adapt in situations in which the set of available streaming resources changes. Management of streaming resources is formalised in the DyKnow model, which introduces a configuration life-cycle to adaptively generate state streams. The DyKnow-ROS stream reasoning framework is a concrete realisation of this model that extends the Robot Operating System (ROS). DyKnow-ROS has been deployed on the SoftBank Robotics NAO platform to demonstrate the system's capabilities in the context of a case study on run-time adaptive reconfiguration. The results show that the proposed system – by combining reasoning over and reasoning about streams – can robustly perform spatio-temporal stream reasoning, even when the availability of streaming resources changes.

Download or read book Advanced Conceptual Modeling Techniques written by Antoni Olivé and published by Springer Science & Business Media. This book was released on 2003-10-13 with total page 457 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed joint post-proceedings of four international workshops held in conjunction with the 21st International Conference on Conceptual Modeling, ER 2002, in Tampere, Finland in October 2002. The 38 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on management of time and changes in information systems; architectures, models, and tools for systems evolution; conceptual modeling approaches to mobile information systems development; quality of conceptual models; requirements and entity relationship models; class models and architectures; Web and interactive models; processes, models, and Web services; e-business methods and technologies; and success factors for conceptual modeling in e-business.

Download or read book Conceptual Modeling written by Peter P. Chen and published by Springer Science & Business Media. This book was released on 1999-04-28 with total page 326 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains a collection of selected papers presented at the Symposium on Conceptual Modeling, which was held in Los Angeles, California, on December 2, th 1997, immediately before the 16 International Conference on Conceptual Modeling (ER’97), which was held at UCLA. A total of eighteen papers were selected for inclusion in this volume. These papers are written by experts in the conceptual modeling area and represent the most current thinking of these experts. This volume also contains the summaries of three workshops that were held on 6 7 December 1997, immediately after the ER’97 conference at UCLA. The topics of these three workshops are: • Behavioral Modeling • Conceptual Modeling in Multimedia Information Seeking • What Is the Role of Cognition in Conceptual Modeling? Since these topics are not only very important but also very timely, we think it is appropriate to include the summary of these three workshops in this volume. Those readers interested in further investigating topics related to the three workshops can either look up the individual paper published on the Web or contact the authors directly. The summary paper by Chen at the beginning of this volume also includes the summary of several interesting speeches at the Symposium.

Download or read book Semantic Integration of Heterogeneous Software Specifications written by Martin Große-Rhode and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 333 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Download or read book Active Conceptual Modeling of Learning written by Peter P. Chen and published by Springer. This book was released on 2008-01-04 with total page 234 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is a collection of papers presented during the first International ACM-L Workshop, which was held in Tucson, Arizona, during the 25th International Conference on Conceptual Modeling, ER 2006. Included in this state-of-the-art survey are 11 revised full papers, carefully reviewed and selected from the workshop presentations. These are rounded off with four invited lectures and an introductory overview, and represent the current thinking in conceptual modeling research.