human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Preserving correctness during business process model configuration"):
  Abstract: A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains.

Includes members:
  Member "Deriving Petri nets from finite transition systems":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Symbolic Boolean manipulation with ordered binary-decision diagrams")
  Member "Dynamic adaptation of service compositions with variability models":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Advanced Context Processing for Business Process Execution Adjustment")
  Member "Variability in business processes: Automatically obtaining a generic specification":
    also connected through other hyperedges:
      (none)
  Member "Configurable process models for the swedish public sector":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Seven process modeling guidelines (7PMG)")

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science