up-contracts
CommunityCreate System Operation Contracts from SSDs for UP design.
Authorapolosan
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Formalize observable behavior of software operations by converting system sequence diagrams into contracts that specify pre-conditions and five post-condition types (attribute modification, instance creation, association creation, instance destruction, association destruction) and exceptions.
Core Features & Use Cases
- Generate per-operation System Operation Contracts from SSDs, including pre-conditions and all five post-condition types.
- Generate a standard contract template and organize artifacts under docs/up/06-contracts/.
Quick Start
Execute a sample SSD and generate its complete operation contract.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: up-contracts Download link: https://github.com/apolosan/unified_process_pi_extension/archive/main.zip#up-contracts Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.