human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "software and system modeling based on a unified formal semantics"):
  Abstract: Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-defined dependencies between the models and documentations. This hampers focused software development as well as the provision of powerful tool-support. In this paper we present the main issues and outline solutions in the direction of a unified, formal basis for software and system modeling.

Includes members:
  Member "exemplary and complete object interaction descriptions":
    also connected through other hyperedges:
      (none)
  Member "state based service description":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "systems views and models of uml")
  Member "enhancing the syslab system model with state":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "architecture and behavior modeling of cyber physical systems with montiarcautomaton")
  Member "towards a formalization of the unified modeling language":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "new opportunities for integrated formal methods")
  Member "a stream based mathematical model for distributed information processing systems the syslab system model":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "modular description of a comprehensive semantics model for the uml version 2 0")
  Member "refinement of information flow architectures":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "montiarc architectural modeling of interactive distributed and cyber physical systems")
  Member "towards a precise semantics for object oriented modeling techniques":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "systems views and models of uml")
  Member "automata describing object behavior":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "a note on semantics with an emphasis on uml")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.SE(Software Engineering)