Software Abstractions - Table of Contents

April 2006
6 x 9, 366 pp.
$40.00/£25.95 (CLOTH)
Short

ISBN-10:
0-262-10114-9
ISBN-13:
978-0-262-10114-1

Related Links

Author's Web Site

Request Exam/Desk Copy

< BACK
Software Abstractions
Logic, Language, and Analysis
Daniel Jackson

	Preface Sample Chapter - Download PDF (92 KB)			xi

	Acknowledgments			xv

1	Introduction Sample Chapter - Download PDF (72 KB)			1

2	A Whirlwind Tour Sample Chapter - Download PDF (512 KB)			5

		2.1	Statics: Exploring States

		2.2	Dynamics: Adding Operations

		2.3	Classification Hierarchy

		2.4	Execution Traces

		2.5	Summary

3	Logic			33

		3.1	Three Logics in One

		3.2	Atoms and Relations

		3.3	Snapshots

		3.4	Operators

		3.5	Constraints

		3.6	Declarations and Multiplicity Constraints

		3.7	Cardinality Constraints

4	Language			83

		4.1	An Example: Self-Grandpas

		4.2	Signatures and Fields

		4.3	Model Diagrams

		4.4	Types and Type Checking

		4.5	Facts, Predicates, Functions, and Assertions

		4.6	Commands and Scope

		4.7	Modules and Polymorphism

		4.8	Integers and Arithmetic

5	Analysis			139

		5.1	Scope-Complete Analysis

		5.2	Instances, Examples, and Counterexamples

		5.3	Unbounded Universal Quantifiers

		5.4	Scope Selection and Monotonicity

6	Examples			169

		6.1	Leader Election in a Ring

		6.2	Hotel Room Locking

		6.3	Media Asset Management

		6.4	Memory Abstractions

	Appendix A: Exercises			229

		A.1	Logic Exercises

		A.2	Extending Simple Models

		A.3	Classic Puzzles

		A.4	Metamodels

		A.5	Small Case Studies

		A.6	Open-Ended Case Studies

	Appendix B: Alloy Language Reference			253

		B.1	Lexical Issues

		B.2	Namespaces

		B.3	Grammar

		B.4	Precedence and Associativity

		B.5	Semantic Basis

		B.6	Types and Overloading

		B.7	Language Features

	Appendix C: Kernel Semantics			291

		C.1	Semantics of the Alloy Kernel

		C.2	Semantics of Integer Expressions and Formulas

	Appendix D: Diagrammatic Notation			295

	Appendix E: Alternative Approaches			297

		E.1	An Example

		E.2	B

		E.3	OCL

		E.4	VDM

		E.5	Z

	References Sample Chapter - Download PDF (85 KB)			333

	Index Sample Chapter - Download PDF (429 KB)			341

	Join an E-mail Alert List

TECHNOLOGY PARTNER: Azility, Inc.