Files
semantic-kernel/python/semantic_kernel/processes/process_builder.py
T
Evan Mattson 30d2b0802a Python: Support Process State Management (#11637)
### Motivation and Context

SK Python processes have been missing support to be able to serialize
and deserialize JSON state for a process and its steps. This PR brings
in the functionality to allow the developer to do so. The
`getting_started_with_processes` step03 has been update to reflect this
latest functionality. It is possible to dump a JSON state to a file, and
reload the state to continue running the process.

State metadata that handles the version for steps is managed via a
decorator:

```python
@kernel_process_step_metadata("CutFoodStep.V1")
class CutFoodStep(KernelProcessStep):
    class Functions(Enum):
        ChopFood = "ChopFood"
        SliceFood = "SliceFood"
```

If no decorator/state is supplied the step will be built with a default
state version of "v1" which aligns with .Net.

<!-- Thank you for your contribution to the semantic-kernel repo!
Please help reviewers and future users, providing the following
information:
  1. Why is this change required?
  2. What problem does it solve?
  3. What scenario does it contribute to?
  4. If it fixes an open issue, please link to the issue here.
-->

### Description

Support state and versioning management for Python processes.
- Update samples to reflect changes.
- Closes #9584

<!-- Describe your changes, the overall approach, the underlying design.
These notes will help understanding how your code works. Thanks! -->

### Contribution Checklist

<!-- Before submitting this PR, please make sure: -->

- [X] The code builds clean without any errors or warnings
- [X] The PR follows the [SK Contribution
Guidelines](https://github.com/microsoft/semantic-kernel/blob/main/CONTRIBUTING.md)
and the [pre-submission formatting
script](https://github.com/microsoft/semantic-kernel/blob/main/CONTRIBUTING.md#development-scripts)
raises no violations
- [X] All unit tests pass, and I have added new tests where possible
- [ ] I didn't break anyone 😄
2025-04-28 22:51:11 +00:00

255 lines
11 KiB
Python

# Copyright (c) Microsoft. All rights reserved.
import contextlib
import inspect
from collections.abc import Callable
from copy import copy
from enum import Enum
from typing import TYPE_CHECKING, cast
from pydantic import Field
from semantic_kernel.exceptions.process_exceptions import ProcessInvalidConfigurationException
from semantic_kernel.processes.kernel_process.kernel_process_function_target import KernelProcessFunctionTarget
from semantic_kernel.processes.kernel_process.kernel_process_state import KernelProcessState
from semantic_kernel.processes.kernel_process.kernel_process_step_info import KernelProcessStepInfo
from semantic_kernel.processes.kernel_process.kernel_process_step_state_metadata import (
KernelProcessStateMetadata,
KernelProcessStepStateMetadata,
)
from semantic_kernel.processes.process_edge_builder import ProcessEdgeBuilder
from semantic_kernel.processes.process_function_target_builder import ProcessFunctionTargetBuilder
from semantic_kernel.processes.process_state_metadata_utils import to_process_state_metadata
from semantic_kernel.processes.process_step_builder import ProcessStepBuilder
from semantic_kernel.processes.process_step_edge_builder import ProcessStepEdgeBuilder
from semantic_kernel.processes.process_types import TState, TStep
from semantic_kernel.processes.step_utils import get_fully_qualified_name
from semantic_kernel.utils.feature_stage_decorator import experimental
if TYPE_CHECKING:
from semantic_kernel.processes.kernel_process.kernel_process import KernelProcess
@experimental
class ProcessBuilder(ProcessStepBuilder):
"""A builder for a process."""
entry_steps: list["ProcessStepBuilder"] = Field(default_factory=list)
external_event_target_map: dict[str, "ProcessFunctionTargetBuilder"] = Field(default_factory=dict)
has_parent_process: bool = False
version: str = "v1"
steps: list["ProcessStepBuilder"] = Field(default_factory=list)
factories: dict[str, Callable] = Field(default_factory=dict)
def add_step(
self,
step_type: type[TStep],
name: str | None = None,
initial_state: TState | None = None,
factory_function: Callable | None = None,
aliases: list[str] | None = None,
**kwargs,
) -> ProcessStepBuilder[TState, TStep]:
"""Register a step type with optional constructor arguments.
Args:
step_type: The step type.
name: The name of the step. Defaults to None.
initial_state: The initial state of the step. Defaults to None.
factory_function: The factory function. Allows for a callable that is used to create the step instance
that may have complex dependencies that cannot be JSON serialized or deserialized. Defaults to None.
aliases: The aliases of the step. Defaults to None.
kwargs: Additional keyword arguments.
Returns:
The process step builder.
"""
if not inspect.isclass(step_type):
raise ProcessInvalidConfigurationException(
f"Expected a class type, but got an instance of {type(step_type).__name__}"
)
if factory_function:
fq_name = get_fully_qualified_name(step_type)
self.factories[fq_name] = factory_function
name = name or step_type.__name__
process_step_builder = ProcessStepBuilder(
type=step_type, name=name, initial_state=initial_state, aliases=aliases, **kwargs
)
self.steps.append(process_step_builder)
return process_step_builder
def add_step_from_process(
self, kernel_process: "ProcessBuilder", aliases: list[str] | None = None
) -> "ProcessBuilder":
"""Adds a step from the given process.
Args:
kernel_process: The process to add.
aliases: The aliases of the step. Defaults to None.
Returns:
The process builder.
"""
kernel_process.has_parent_process = True
if aliases:
kernel_process.aliases = aliases
self.steps.append(kernel_process)
return kernel_process
def resolve_function_target(
self, function_name: str | None, parameter_name: str | None
) -> KernelProcessFunctionTarget:
"""Resolves the function target."""
targets = []
for step in self.entry_steps:
with contextlib.suppress(ValueError):
targets.append(step.resolve_function_target(function_name, parameter_name))
if len(targets) == 0:
raise ValueError(f"No targets found for function '{function_name}.{parameter_name}'")
if len(targets) > 1:
raise ValueError(f"Multiple targets found for function '{function_name}.{parameter_name}'")
return targets[0]
def where_input_event_is(self, event_id: str | Enum) -> "ProcessFunctionTargetBuilder":
"""Filters the input event."""
event_id_str: str = event_id.value if isinstance(event_id, Enum) else event_id
if event_id_str not in self.external_event_target_map:
raise ValueError(f"The process named '{self.name}' does not expose an event with Id '{event_id_str}'")
target = self.external_event_target_map[event_id_str]
target = copy(target)
target.step = self
target.target_event_id = event_id_str
return target
def on_input_event(self, event_id: str | Enum) -> "ProcessEdgeBuilder": # type: ignore
"""Creates a new ProcessEdgeBuilder for the input event."""
from semantic_kernel.processes.process_builder import ProcessBuilder # noqa: F401
ProcessEdgeBuilder.model_rebuild()
event_id_str: str = event_id.value if isinstance(event_id, Enum) else event_id
return ProcessEdgeBuilder(source=self, event_id=event_id_str)
def link_to(self, event_id: str, edge_builder: ProcessStepEdgeBuilder) -> None:
"""Links to the given event ID."""
if edge_builder.target is None:
raise ValueError("Target must be set before linking")
self.entry_steps.append(edge_builder.source)
self.external_event_target_map[event_id] = edge_builder.target
super().link_to(event_id, edge_builder)
def build_step(self, state_metadata: KernelProcessStepStateMetadata | None = None) -> KernelProcessStepInfo:
"""Builds the process step."""
# The process is a step so we can return the step info directly
# convert to KernelProcessStateMetadata...
if state_metadata is None or isinstance(state_metadata, KernelProcessStateMetadata):
metadata: KernelProcessStateMetadata | None = cast(KernelProcessStateMetadata | None, state_metadata)
else:
metadata = KernelProcessStateMetadata(
name=self.name,
id=self.id if self.has_parent_process else None,
version_info=self.version,
)
return self.build(state_metadata=metadata)
def build(self, state_metadata: KernelProcessStateMetadata | None = None) -> "KernelProcess":
"""Builds the KernelProcess."""
from semantic_kernel.processes.kernel_process.kernel_process import KernelProcess
built_edges = {key: [edge.build() for edge in edges] for key, edges in self.edges.items()}
built_steps = [step.build_step() for step in self.steps]
built_steps = self._build_with_state_metadata(state_metadata=state_metadata)
process_state = KernelProcessState(
name=self.name, id=self.id if self.has_parent_process else None, version=self.version
)
return KernelProcess(state=process_state, steps=built_steps, edges=built_edges, factories=self.factories)
def _build_with_state_metadata(
self, state_metadata: "KernelProcessStateMetadata | None"
) -> list["KernelProcessStepInfo"]:
built_steps: list["KernelProcessStepInfo"] = []
# 1- Validate StateMetadata: Migrate previous state versions if needed + sanitize state
sanitized_metadata: "KernelProcessStateMetadata | None" = None
if state_metadata is not None:
sanitized_metadata = self._sanitize_process_state_metadata(state_metadata, self.steps)
# 2- Build steps info with validated stateMetadata
for step in self.steps:
if (
sanitized_metadata
and sanitized_metadata.steps_state
and step.name in sanitized_metadata.steps_state
and sanitized_metadata.steps_state[step.name] is not None
):
built_steps.append(step.build_step(sanitized_metadata.steps_state[step.name]))
else:
built_steps.append(step.build_step())
return built_steps
def _sanitize_process_state_metadata(
self, state_metadata: "KernelProcessStateMetadata", step_builders: list["ProcessStepBuilder"]
) -> "KernelProcessStateMetadata":
sanitized_state_metadata = state_metadata
for step in step_builders:
# 1- find matching key name with exact match or by alias match
step_key: str | None = None
if sanitized_state_metadata.steps_state and step.name in sanitized_state_metadata.steps_state:
step_key = step.name
else:
step_key = next(
(
alias
for alias in step.aliases
if sanitized_state_metadata.steps_state and alias in sanitized_state_metadata.steps_state
),
None,
)
# 2- stepKey match found
if step_key is not None:
current_version_state_metadata = to_process_state_metadata(step.build_step())
saved_state_metadata = sanitized_state_metadata.steps_state.get(step_key)
if saved_state_metadata is not None and step_key != step.name:
if saved_state_metadata.version_info == current_version_state_metadata.version_info:
# key mismatch only, but same version
sanitized_state_metadata.steps_state[step.name] = saved_state_metadata
else:
# version mismatch - check if migration logic in place
if isinstance(step, ProcessBuilder):
if isinstance(saved_state_metadata, KernelProcessStepStateMetadata):
saved_state_metadata = KernelProcessStateMetadata(
name=step.name,
id=step.id,
version_info=step.version,
steps_state={},
)
sanitized_step_state = self._sanitize_process_state_metadata(
saved_state_metadata, step.steps
)
sanitized_state_metadata.steps_state[step.name] = sanitized_step_state
else:
# no compatible state found, migrating id only
sanitized_state_metadata.steps_state[step.name] = type(saved_state_metadata)(
Name=step.name,
Id=step.id,
)
sanitized_state_metadata.steps_state[step.name].name = step.name
del sanitized_state_metadata.steps_state[step_key]
return sanitized_state_metadata