Role-Oriented Service Architecture¶

S++ (SPP): Modeling, Language Mechanisms and Engineering Practice¶

This book is for developers familiar with object-oriented programming. Roles describe the capacities in which participants enter a business activity; services describe their behavior; scenarios organize cooperation; contracts record agreements and results. Beginning with “service = participants × behavior,” the book connects role modeling, service composition and engineering practice into one system.

The main text explains concepts through business examples and can be read in order. Formal definitions, proofs, counterexamples and performance derivations appear in the appendices. Equations use plain text without requiring a LaTeX plugin; examples link to case source.

The complete manuscript has seven parts, 35 chapters and six appendices. Each part has its own introduction and contents; each chapter links to its part, the whole book and adjacent chapters.

This English edition follows the Chinese manuscript at revision 39287373, including the discussions of modeling expressiveness, the bank case and COBOL/S++ code counts. S++ keywords, identifiers and executable examples retain their source forms; referenced engineering documents and editorial issue records retain their original language. The bank is described generically; real repository paths remain in source links.

Part I — The Basic Model of Roles and Services¶

• Chapter 1 — From Objects to Business Activities
• Chapter 2 — Service Equals Participants Multiplied by Behavior
• Chapter 3 — Roles and Business Identity
• Chapter 4 — Service Categories and Scenario Organization
• Chapter 5 — Quantum Behavior and Quantum Services
• Chapter 6 — Superposition, Commutativity and Entanglement
• Chapter 7 — Queries, Calculations, Validations and Ordinary Updates
• Chapter 8 — Reusing Services and Scenarios Through Role Polymorphism

Part II — Service Cooperation and Execution¶

• Chapter 9 — Service Cooperation and Execution Order
• Chapter 10 — Parallel Execution and Service Call Costs
• Chapter 11 — Minimum Service Granularity and Deployment Principles

Part III — Expressing Roles and Services in S++¶

• Chapter 12 — Responsibilities of SPP, APP and PHY
• Chapter 13 — Entity, Reference, Role and Contract
• Chapter 14 — Declaring Role Relationships with take ... as
• Chapter 15 — Four Categories of Atomic Service
• Chapter 16 — Calculation Rules and Collection Participants
• Chapter 17 — Serial and Parallel Scenarios and Contract Formation

Part IV — Consistency and Execution Guarantees¶

• Chapter 18 — Business Facts, Participant Identity and Storage Ownership
• Chapter 19 — Transaction Boundaries, Execution Plans and Deployment Capabilities
• Chapter 20 — Quantum Properties, Call Bounds and Conserved Settlement
• Chapter 21 — Rollback, Inverse Transactions, Reversals and Compensation
• Chapter 22 — Generation, Physical Resources and Runtime Configuration

Part V — Separating Business and Technology¶

• Chapter 23 — Benefits of Separating Business and Technology
• Chapter 24 — Performance Through Caching and On-Demand Data
• Chapter 25 — Encryption, Fingerprints and Security Services
• Chapter 26 — Idempotency, Duplicate Guards and Reliable Execution
• Chapter 27 — Runtime Governance and Technical Evolution

Part VI — Complete Petstore Practice¶

• Chapter 28 — Identifying Roles, Behavior and Services from Requirements
• Chapter 29 — Zero Opening, Funding and Inventory Receipt
• Chapter 30 — Quotation, Ordering, Payment and Shipping
• Chapter 31 — Cancellation, Returns, Reservations and Failure Handling
• Chapter 32 — Technical Configuration, Deployment and Integrated Verification

Part VII — Advanced Cases and Architectural Methods¶

• Chapter 33 — Bank Deposits, Repayment Allocation and Reversal
• Chapter 34 — Migrating an Existing Object-Oriented System
• Chapter 35 — Architecture Review and Capability Boundaries

Appendices¶

• Appendix A — The Service Model and Formal Derivations
• Appendix B — Conditions for Exchange, Reordering and Parallelism
• Appendix C — Performance Models and Experimental Methods
• Appendix D — Quantum Services and Conservation Mechanisms
• Appendix E — Language and Engineering Reference
• Appendix F — Sources and Verification Evidence

Supporting Material¶

Editorial Issues are author working notes outside the reading sequence. Appendix F contains source references, verification evidence and reproducible code counts. The translation map records corresponding Chinese and English files.