mirror of
https://github.com/microsoft/semantic-kernel.git
synced 2026-10-12 11:19:56 +00:00
### 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 😄
255 lines
11 KiB
Python
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
|