-
Notifications
You must be signed in to change notification settings - Fork 0
Executable UML Semantics
Leon Starr edited this page Sep 5, 2021
·
6 revisions
To use Scrall effectively, it is critical to understand the underlying model semantics. This is because Scrall is designed to manipulate elements of the model defined by those semantics. There are already [other references] that define Executable UML semantics. Here we expand on those aspects key to understanding how the action language works.
Copyright 2020, 2021, 2022, 2023, 2025 © Leon Starr under MIT Open Source License
- Why they are problematic
- Instance attribute creation values
- Boolean values
- Special values
- Enumerated values
- Action block
- Statement
- Single line action
- Multiple dependent actions on a single line
- An action spread across multiple lines
- A conditional group of single line actions
- Comments
- Finding instances
- Attribute access
- Creation and deletion
- Subclass migration
- Creating a table from a class
- Creating a table with a definition
- Converting a table into a class
- Set operations on tables
- Set comparisons on tables
- Join
- Rename
- Extend
- Aggregation
- Rank
- Image
- Input values
- Signatures and name doubling
- Output values
- Execution order
- Sequential execution
- Conditional execution
- Signals
- Scrall has no for_each action
- Iteration