We propose E-down arrow((D) over right arrow)-logic as a formal foundation for the specification and development of event-based systems with data states. The framework is presented as an institution in the sense of Go...
详细信息
We propose E-down arrow((D) over right arrow)-logic as a formal foundation for the specification and development of event-based systems with data states. The framework is presented as an institution in the sense of Goguen and Burstall and the logic itself is parametrised by an underlying institution (D) over right arrow whose structures are used to model data states. E-down arrow((D) over right arrow)-logic is intended to cover a broad range of abstraction levels from abstract requirements specifications up to constructive specifications. It uses modal diamond and box operators over complex actions adopted from dynamic logic. Atomic actions are pairs e/psi where e is an event and psi a state transition predicate capturing the allowed reactions to the event. Towrite concrete specifications of recursive process structureswe integrate (control) state variables and binders of hybrid logic. The semantic interpretation relies on event/data transition systems. For the presentation of constructive specifications we propose operational event/data specifications allowing for familiar, diagrammatic representations by state transition graphs. We show that E-down arrow((D) over right arrow)-logic is powerful enough to characterise the semantics of an operational specification by a single E-down arrow((D) over right arrow)-sentence. Thus the whole (formal) development process for event/data-based systems relies on E-down arrow((D) over right arrow)-logic and its semantics as a common basis. It is supported by a variety of implementation constructors which can express, among others, event refinement and parallel composition. Due to the genericity of the approach, it is also possible to change a data state institution during system development when needed. All steps of our formal treatment are illustrated by a running example.
This book represents the refereed proceedings of the Eighth International Conference on Monte Carlo (MC)and Quasi-Monte Carlo (QMC) Methods in Scientific Computing, held in Montreal (Canada) in July 2008. It covers th...
详细信息
ISBN:
(数字)9783642041075
ISBN:
(纸本)9783642041068;9783642425240
This book represents the refereed proceedings of the Eighth International Conference on Monte Carlo (MC)and Quasi-Monte Carlo (QMC) Methods in Scientific Computing, held in Montreal (Canada) in July 2008. It covers the latest theoretical developments as well as important applications of these methods in different areas. It contains two tutorials, eight invited articles, and 32 carefully selected articles based on the 135 contributed presentations made at the conference. This conference is a major event in Monte Carlo methods and is the premiere event for quasi-Monte Carlo and its combination with Monte Carlo. This series of proceedings volumes is the primary outlet for quasi-Monte Carlo research.
AMS packages that replaced AMS-Ib-TEX, version 1.1, but the book still had an AMS-Ib-TEX-centric view. This third edition is about Ib-TEX. Where necessary, I recommend that you use packages to extend Ib-TEX's capa...
详细信息
ISBN:
(数字)9781461221340
ISBN:
(纸本)9780817641313
AMS packages that replaced AMS-Ib-TEX, version 1.1, but the book still had an AMS-Ib-TEX-centric view. This third edition is about Ib-TEX. Where necessary, I recommend that you use packages to extend Ib-TEX's capabilities. For typesetting mathematics, I strongly recommend that you use the AMS packages. AMS packages, version 2.0 The American mathematical Society released version 2.0 ofthe AMS packages in 1999. This third edition covers the changes made in this release. Books The first and second editions of this book dealt primarily with the tasks involved in writing artides. In Part V, the third edition addresses the issues that arise when creating longer documents. In addition to chapters on BIBTEX and Makelndex, I have added a new chapter on writing books. Appendix F illustrates the impor tance of choosing a well-designed book document dass. Other changes B\1EX Ib-TEX2 has been remarkably stable since its release in 1996, becorning c the standard Ib-TEX (see Section C.1.2). Changeshave been rninor except for ad vances in using Ib-TEX with non-English languages (see the new Appendix E) and the widespread use of the PostScript CM and AMS fonts (see the new Section D.l). Reorganization and additions Due to the new emphasis on writing books, a number of sections and subsections have moved from Chapter 2 and Chapters 6-8 to the new Chapter 12.
This book contains the refereed proceedings of the 10th International Symposium on mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. It is a collection of 39 revised full papers, from whic...
详细信息
ISBN:
(数字)9783642215698
ISBN:
(纸本)9783642215681
This book contains the refereed proceedings of the 10th International Symposium on mathematical Morphology, ISMM 2011 held in Verbania-Intra, Italy in July 2011. It is a collection of 39 revised full papers, from which 27 were selected for oral and 12 for poster presentation, from a total of 49 submissions. Moreover, the book features two invited contributions in the fields of remote sensing, image analysis and scientific visualization. The papers are organized in thematic sections on theory, lattices and order, connectivity, image analysis, processing and segmentation, adaptive morphology, algorithms, remote sensing, visualization, and applications.
暂无评论