Ebook: Behavioral Specifications of Businesses and Systems

Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied mathematicians. These seemingly different papers address different aspects of a single problem - taming complexity.
Behavioral Specifications of Businesses and Systems emphasizes simplicity and elegance in specifications without concentrating on particular methodologies, languages or tools. It shows how to handle complexity, and, specifically, how to succeed in understanding and specifying businesses and systems based upon precise and abstract concepts. It promotes reuse of such concepts, and of constructs based on them, without taking reuse for granted.
Behavioral Specifications of Businesses and Systems is the second volume of papers based on a series of workshops held alongside ACM's annual conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP). The first volume, Object-Oriented Behavioral Specifications, edited by Haim Kilov and William Harvey, was published by Kluwer Academic Publishers in 1996.

---

Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied mathematicians. These seemingly different papers address different aspects of a single problem - taming complexity.
Behavioral Specifications of Businesses and Systems emphasizes simplicity and elegance in specifications without concentrating on particular methodologies, languages or tools. It shows how to handle complexity, and, specifically, how to succeed in understanding and specifying businesses and systems based upon precise and abstract concepts. It promotes reuse of such concepts, and of constructs based on them, without taking reuse for granted.
Behavioral Specifications of Businesses and Systems is the second volume of papers based on a series of workshops held alongside ACM's annual conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP). The first volume, Object-Oriented Behavioral Specifications, edited by Haim Kilov and William Harvey, was published by Kluwer Academic Publishers in 1996.

---

Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied mathematicians. These seemingly different papers address different aspects of a single problem - taming complexity.
Behavioral Specifications of Businesses and Systems emphasizes simplicity and elegance in specifications without concentrating on particular methodologies, languages or tools. It shows how to handle complexity, and, specifically, how to succeed in understanding and specifying businesses and systems based upon precise and abstract concepts. It promotes reuse of such concepts, and of constructs based on them, without taking reuse for granted.
Behavioral Specifications of Businesses and Systems is the second volume of papers based on a series of workshops held alongside ACM's annual conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP). The first volume, Object-Oriented Behavioral Specifications, edited by Haim Kilov and William Harvey, was published by Kluwer Academic Publishers in 1996.
Content:
Front Matter....Pages i-xii
Object-Oriented Transformation....Pages 1-14
Being served: The Purposes, Strengths and Limitations of Formal Service Modelling....Pages 15-25
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations....Pages 27-44
Meta-Modelling Semantics of UML....Pages 45-60
Combining JSD and Cleanroom for Object-Oriented Scenario Specification....Pages 61-74
What is Behind UML-RT?....Pages 75-90
Applying ISO RM-ODP in the Specification of CORBA® Interfaces and Semantics to General Ledger Systems....Pages 91-103
Component-Based Algebraic Specification....Pages 105-121
A Meta-Model Semantics for Structural Constraints In UML....Pages 123-139
On the Structure of Convincing Specifications....Pages 141-160
Formalising the UML in Structured Temporal Theories....Pages 161-174
JML: A Notation for Detailed Design....Pages 175-188
Agents: Between Order and Chaos....Pages 189-193
UML, The Future Standard Software Architecture Description Language?....Pages 195-207
Using Information Modeling to Define Business Requirements....Pages 209-217
A Layered Context Perspective on the Design of Enterprises and Information Systems....Pages 219-236
30 Things that Go Wrong in Object Modelling with UML 1.3....Pages 237-257
Formalizing Association Semantics In Terminologies....Pages 259-270
On the Specification of the Business and Economic Foundations of Electronic Commerce....Pages 271-286
Embedding Object-Oriented Design in System Engineering....Pages 287-310
Back Matter....Pages 311-315

---

Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied mathematicians. These seemingly different papers address different aspects of a single problem - taming complexity.
Behavioral Specifications of Businesses and Systems emphasizes simplicity and elegance in specifications without concentrating on particular methodologies, languages or tools. It shows how to handle complexity, and, specifically, how to succeed in understanding and specifying businesses and systems based upon precise and abstract concepts. It promotes reuse of such concepts, and of constructs based on them, without taking reuse for granted.
Behavioral Specifications of Businesses and Systems is the second volume of papers based on a series of workshops held alongside ACM's annual conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP). The first volume, Object-Oriented Behavioral Specifications, edited by Haim Kilov and William Harvey, was published by Kluwer Academic Publishers in 1996.
Content:
Front Matter....Pages i-xii
Object-Oriented Transformation....Pages 1-14
Being served: The Purposes, Strengths and Limitations of Formal Service Modelling....Pages 15-25
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations....Pages 27-44
Meta-Modelling Semantics of UML....Pages 45-60
Combining JSD and Cleanroom for Object-Oriented Scenario Specification....Pages 61-74
What is Behind UML-RT?....Pages 75-90
Applying ISO RM-ODP in the Specification of CORBA® Interfaces and Semantics to General Ledger Systems....Pages 91-103
Component-Based Algebraic Specification....Pages 105-121
A Meta-Model Semantics for Structural Constraints In UML....Pages 123-139
On the Structure of Convincing Specifications....Pages 141-160
Formalising the UML in Structured Temporal Theories....Pages 161-174
JML: A Notation for Detailed Design....Pages 175-188
Agents: Between Order and Chaos....Pages 189-193
UML, The Future Standard Software Architecture Description Language?....Pages 195-207
Using Information Modeling to Define Business Requirements....Pages 209-217
A Layered Context Perspective on the Design of Enterprises and Information Systems....Pages 219-236
30 Things that Go Wrong in Object Modelling with UML 1.3....Pages 237-257
Formalizing Association Semantics In Terminologies....Pages 259-270
On the Specification of the Business and Economic Foundations of Electronic Commerce....Pages 271-286
Embedding Object-Oriented Design in System Engineering....Pages 287-310
Back Matter....Pages 311-315
....