18 KiB
tags:: #zotero title:: @MODELS_2025_paper_3 item-type:: document original-title:: MODELS_2025_paper_3 language:: en links:: Local library, Web library
-
Attachments
- PDF {{zotero-imported-file 9QIL9QVD, "MODELS_2025_paper_3.pdf"}}
-
Notes
-
I'm reviewing a research paper and I took the following notes:
Annotazioni
(21/5/2025, 09:48:15)
-
“autonomous reasoning and human-like conversational abilities.” (“MODELS_2025_paper_3”, p. 1) #5fb236
-
“We discuss the conceptual foundations and key design principles of LLMA-UML and evaluate our extension by modeling a representative case study and discussing the benefits of our approach” (“MODELS_2025_paper_3”, p. 1) #ffd400 What's the goal of such modeling effort?
-
“Incorporating such agents into software systems presents new challenges for system design and modeling.” (“MODELS_2025_paper_3”, p. 1) #5fb236
-
“standardized way to model an AI agent that relies on a massive learned model and engages in open-ended natural language interactions.” (“MODELS_2025_paper_3”, p. 1) #a28ae5
-
“However, these implementations follow ad-hoc architectures, and a general modeling method to describe their design has yet to mature.” (“MODELS_2025_paper_3”, p. 1) #5fb236
-
“. We identify why existing UML multi-agent modeling techniques are insufficient for this new class of agents” (“MODELS_2025_paper_3”, p. 1) #2ea8e5
-
“propose a UML profile with new modeling elements to address these deficiencies.” (“MODELS_2025_paper_3”, p. 1) #2ea8e5
-
“communicate” (“MODELS_2025_paper_3”, p. 1) #ffd400 what do you mean? Communicate you mean presenting a system under design/development? What's the goal of the modeling phase here? At what stage of the development you see modeling being imporant when developing LLM-based multi-agent systems?
-
“currently model LLM-agent based systems in the domain of software engineering.” (“MODELS_2025_paper_3”, p. 1) #2ea8e5
-
“outlines the related work” (“MODELS_2025_paper_3”, p. 1) #2ea8e5
-
“problem and outlines the limitations of current UML models in this context.” (“MODELS_2025_paper_3”, p. 1) #2ea8e5
-
“proposed UML extension for LLM-agents” (“MODELS_2025_paper_3”, p. 1) #2ea8e5
-
“semantics and usage guidelines for LLMA-UML stereotypes.” (“MODELS_2025_paper_3”, p. 1) #a28ae5
-
“papers that propose the development of LLM-agents” (“MODELS_2025_paper_3”, p. 2) #e56eee
-
“agent interaction protocols (AIP).” (“MODELS_2025_paper_3”, p. 2) #a28ae5
-
“o represent internal agent processing, they recommend using activity diagrams and statecharts and dashed notations for interfacing with other agents” (“MODELS_2025_paper_3”, p. 2) #5fb236
-
“cloning, mitosis, reproduction and parasitic and symbiotic repationships.” (“MODELS_2025_paper_3”, p. 2) #5fb236
-
“In particular, these UML models assume clearly defined internal state representations and a limited set of message types, which is a poor fit for LLM-based agents that operate via free-form natural language and possess an implicit knowledge model.” (“MODELS_2025_paper_3”, p. 2) #a28ae5
-
“existing UML-based multi-agent modeling techniques lack concepts for the kinds of interactions and internal structures that LLM-based agents exhibit” (“MODELS_2025_paper_3”, p. 2) #a28ae5
-
“ReAct is an approach that combines reasoning and acting by combining an LLM’s chainof-thought with actions in an environment” (“MODELS_2025_paper_3”, p. 2) #5fb236
-
“advanced LLM-based agents are essentially hybrid systems combining a language model with additional modules or external services” (“MODELS_2025_paper_3”, p. 2) #e56eee
-
“LLM-Agent-UMF” (“MODELS_2025_paper_3”, p. 2) #5fb236
-
“They propose LLM-Agent-UMF, a unified conceptual framework to classify an agent’s core modules (planning, memory, profile, action, security) and distinguish the LLM and tool component” (“MODELS_2025_paper_3”, p. 2) #e56eee
-
“key issues that need to be addressed to accurately represent LLM agents” (“MODELS_2025_paper_3”, p. 2) #a28ae5
-
“Implicit Knowledge and Reasoning” (“MODELS_2025_paper_3”, p. 3) #2ea8e5
-
“Current UML abstractions (e.g. the attributes/methods of a class) cannot directly encapsulate the complexity of an LLM’s knowledge base or the probabilistic nature of its reasoning” (“MODELS_2025_paper_3”, p. 3) #a28ae5
-
“Existing agent profiles that include beliefs and goals [3] treat knowledge as discrete data, which does not capture the rich and diffuse knowledge embedded in an LLM.” (“MODELS_2025_paper_3”, p. 3) #e56eee
-
“Natural Language Interaction:” (“MODELS_2025_paper_3”, p. 3) #2ea8e5
-
“UML sequence diagrams and communication diagrams lack constructs to express that a message is, for example, a prompt or a free-form query to be interpreted by the agen” (“MODELS_2025_paper_3”, p. 3) #5fb236
-
“Tool Use and Environment Actions” (“MODELS_2025_paper_3”, p. 3) #2ea8e5
-
“LLM-agents can significantly extend their functionality beyond simple text generation by integrating and utilising external tools” (“MODELS_2025_paper_3”, p. 3) #5fb236
-
“but they have not provided for on-the-fly tool usage driven by an agent’s internal reasoning.” (“MODELS_2025_paper_3”, p. 3) #5fb236
-
“This makes it difficult to capture the loop where an LLM agent decides it lacks information, calls an external service, and then incorporates the result into its next prompt.” (“MODELS_2025_paper_3”, p. 3) #a28ae5
-
“Dynamic Goals and Non-deterministic Behavior” (“MODELS_2025_paper_3”, p. 3) #2ea8e5
-
“it does not readily accommodate the emergence of new goals at runtime” (“MODELS_2025_paper_3”, p. 3) #a28ae5
-
“This limitation highlights the need for modeling techniques that can capture the dynamic and evolving nature of LLM-agent behavior.” (“MODELS_2025_paper_3”, p. 3) #a28ae5
-
“UML-agent profiles are not well suited for representing the internal mechanisms and interaction patterns of LLM-based agents.” (“MODELS_2025_paper_3”, p. 3) #a28ae5
-
“To address the limitations outlined in section IV, we introduce a UML extension, realized as a UML profile, specifically adapted to the modeling of LLM-agents and their interactions” (“MODELS_2025_paper_3”, p. 4) #a28ae5
-
“stereotypes and model elements that capture the unique needs of LLM-based agents.” (“MODELS_2025_paper_3”, p. 4) #a28ae5
-
“<> stereotype encapsulates the autonomous reasoning and decision-making capabilities” (“MODELS_2025_paper_3”, p. 4) #5fb236
-
“<> stereotype facilitates natural languagebased communication, enabling agents to coordinate tasks and share information effectively within the system” (“MODELS_2025_paper_3”, p. 4) #5fb236
-
“<> stereotype represents external resources that agents leverage collaboratively, supporting task delegation and enhancing system flexibility as well as extending the autonomous capabilities of the <>” (“MODELS_2025_paper_3”, p. 4) #5fb236
-
“<> stereotype ensures that agents retain context and historical data across interactions” (“MODELS_2025_paper_3”, p. 4) #5fb236
-
“<> is a stereotype used to clearly identify an autonomous agent component whose core reasoning capabilities are driven by a large language model.” (“MODELS_2025_paper_3”, p. 4) #5fb236
-
“<>” (“MODELS_2025_paper_3”, p. 4) #ffd400 It's not appropriate using this stereotype also to represent amswers from agents. Prompts are string given as input to LLMs and not answers.
-
“distinguish user queries, agent responses,” (“MODELS_2025_paper_3”, p. 4) #ffd400 This is not consistent with Fig 2 where <> is used to represent at the same manner both user queries and agent responses.
-
“this profile includes conventions for modeling the internal reasoning cycle of an LLM agent” (“MODELS_2025_paper_3”, p. 4) #ffd400 How this conventions are prescriptive? How to check if they are actually used? IN general, at this point of the paper is not clear if the proposed UML profile is tool supported. Moreover, what the intended use of the profile, who is the main intended stakeholder?
-
“UML Activity Diagrams or Interaction Overview Diagrams can be used to describe the control flow of the agent.” (“MODELS_2025_paper_3”, p. 4) #ffd400 Typically, processes involving orchestration or choreographis of services are specified by using BPMN, Can you comment the performed choice with respect to the possible use of BPMN? #question
-
“These diagrams can be annotated to represent reasoning steps such as interpret prompt, evaluate context, select tool, invoke tool, and generate response” (“MODELS_2025_paper_3”, p. 4) #ffd400 How can the annotation be done?
-
“Using the proposed profile, modelers can develop both structural and behavioral UML diagrams that explicitly capture the characteristics of LLM-based agents” (“MODELS_2025_paper_3”, p. 4) #5fb236
-
“Component Diagrams” (“MODELS_2025_paper_3”, p. 5) #2ea8e5
-
“This structural representation clearly identifies the core agent, its external tool dependencies and its connection to the memory components, providing more insight than a standard UML diagram where the LLM nature and specific dependencies may be obscured” (“MODELS_2025_paper_3”, p. 5) #5fb236
-
“Sequence Diagrams:” (“MODELS_2025_paper_3”, p. 5) #2ea8e5
-
“The agent then sends its response back to the user, modeled as another <> message with content such as “Your meeting is scheduled for tomorrow at 10am”.” (“MODELS_2025_paper_3”, p. 5) #ffd400 The stereotype <> is used also to represent responses from Agents
-
“Figure 2:” (“MODELS_2025_paper_3”, p. 5) #ffd400
-
“Sequence Diagram: Scheduling a Meeting, illustrating <> messages, <> interaction, and a clarification loop.” (“MODELS_2025_paper_3”, p. 5) #ffd400 Why do you need to specify loops for giving instructins on the calendar to be used? Why not including this information in the initial prompt? By the way the example is not effective in presenting the case of emerging behaviours, decisions that need to be taken at runtime etc. as motivated earlier in the paper.
-
“Activity Diagrams:” (“MODELS_2025_paper_3”, p. 5) #2ea8e5
-
“Overall, the proposed UML profile and its diagramming guidelines allow modelers to create representations of LLMbased systems that explicitly indicate the presence and role of the LLM through stereotypes such as <>. The profile highlights natural language interactions using <>, clarifies how agents use external capabilities using <> elements, represents the function of conversational context or persistent state using <> artifacts, and illustrates the flow of reasoning and action within both activity and sequence diagrams. Crucially, these enhancements are integrated within the standard UML framework, facilitating adoption by software engineers working within established modeling environments.” (“MODELS_2025_paper_3”, p. 6) #ffd400 This is a repetition.
-
“A <> provides specific external functionality with at least one defined interface operation.” (“MODELS_2025_paper_3”, p. 7) #5fb236
-
“a <> enforces session coherence by linking to <> and processing requests in sequence.” (“MODELS_2025_paper_3”, p. 7) #5fb236
-
“knowledge representation includes both implicit knowledge within <> structures and explicit knowledge stored in <>” (“MODELS_2025_paper_3”, p. 7) #5fb236
-
“interaction dynamics revolve around <> message sequences and <> invocations, with context management achieved through structured <> access.” (“MODELS_2025_paper_3”, p. 7) #5fb236
-
“reasoning processes appear as nested activations within sequence diagrams, annotated activity flows for chain-ofthought logic, or alternatively combined fragments for nondeterministic behavior.” (“MODELS_2025_paper_3”, p. 7) #5fb236
-
“When implemented through a UML profile, these semantics help to avoid modeling oversights (such as missing memory links or undefined tool interfaces) and ensure a coherent architecture for LLM agent design.” (“MODELS_2025_paper_3”, p. 7) #a28ae5
-
“a theoretical modeling extension, evaluation is conducted by analyzing its expressiveness and consistency rather than quantitative metrics.” (“MODELS_2025_paper_3”, p. 7) #a28ae5
-
“We illustrate the usefulness of the proposed UML profile through an example case study and discuss how it addresses the previously identified issues.” (“MODELS_2025_paper_3”, p. 7) #ffd400 WHat are the research questions that you wanted to answer with the case study?
-
“chapter” (“MODELS_2025_paper_3”, p. 7) #ff6666 Section
-
“By comparing LLMA-UML diagrams with their conventional UML counterparts, we evaluate the expressiveness, clarity, and practical benefits of the extension.” (“MODELS_2025_paper_3”, p. 7) #a28ae5
-
“To illustrate the benefits of LLMA-UML, we model a software development pipeline where multiple LLM-based agents collaborate to analyze requirements, generate code, and validate results. This case study highlights the unique attributes of LLM-agents such as natural language interaction, memorydriven reasoning, tool integration and adaptive workflows” (“MODELS_2025_paper_3”, p. 7) #ffd400 To illustrate the benefits of LLMA-UML it is necessary to discuss the existing challenges that the approach aims to address. What's the difficulties that the defined UML profiles permits to address? Who is the main stakeholder? What are the criticalities due to the lack of a modeling language like LLMA-UML. As mentioned many times by the authors, one of the peculiar characteristics of the LLM_bases systems is their emerging behaviour, their reasoning and planning. Why modeling them? What's the benefit?
-
“The shared memory component (<>) is central to the operation of the system. It holds project-specific context that agents retrieve or update during task execution.” (“MODELS_2025_paper_3”, p. 8) #5fb236
-
“As illustrated in Figure 6, the activity diagram models the decision logic within the pipeline.” (“MODELS_2025_paper_3”, p. 8) #ffd400 How is this used in practice?
-
“precise modeling of LLM-agent systems where traditional UML falls short.” (“MODELS_2025_paper_3”, p. 9) #5fb236
-
“The case study also demonstrates the scalability of LLMAUML, with complex interactions, such as simultaneous tool use by multiple agents, remaining readable through stereotyped elements.” (“MODELS_2025_paper_3”, p. 9) #ffd400 The consideration of multiple agents is indeed relevant even though it is not properly covered. In particualar, it can be the case that Agents interact each other and in this case it is necessary to introduce some governance mechanisms in order to manage conflicting situations (e.g., different outputs from agents that are supposed to support the same task and from the same query they produce conflicting results).
-
“In summary, LLMA-UML bridges the gap between traditional software modeling and the unique requirements of LLM-agent systems, providing a structured yet flexible framework for designing, analyzing and communicating AI-driven workflows.” (“MODELS_2025_paper_3”, p. 9) #5fb236
-
“Our proposed UML profile introduces the <>, <>, <> and <> stereotypes and corresponding semantics which together enable modelers to create clear and expressive models of LLM-agent architectures and interactions.” (“MODELS_2025_paper_3”, p. 10) #5fb236
-
“theoretical foundation for describing systems that integrate LLM-agents using a standard modeling language.” (“MODELS_2025_paper_3”, p. 10) #ffd400 There are arelady different frameworks that permits to specify workflows of different agents. How do you compare with them? What's the benefit of the proposed approach with respect to them?
-
“Furthermore, to address the socio-technical aspects of LLM agents, future extensions could include concepts such as a <> stereotype to explicitly model ethical constraints or alignment rules governing agent behavior.” (“MODELS_2025_paper_3”, p. 10) #ffd400 Yes, this is related to one of my comments above related to governance.
-
“[6] J. Liu, K. Wang, Y. Chen, X. Peng, Z. Chen, L. Zhang, and Y. Lou, “Large Language Model-Based Agents for Software Engineering: A Survey.”” (“MODELS_2025_paper_3”, p. 10) #ffd400 please complete references with all the details
COnsider that those that are tagget with #5fb236 are just highlights, those that are tagged with #e56eee and #a28ae5 are imporant sentences. Please pay attention instead to the notes that are tagged with #ffd400. Those that are tagged with #ff6666 are typos or errors. Could you please draft a review by organizing it as follows: SUMMARY: Just a few sentence to summarize the work COMMENTS: Organize the notes especially those that contain issues or typos.
-
-