Requirements include the core functionalities of the software, however, due to their typical representations in natural language, professionals invest considerable effort in modeling to achieve more precise, coherent, and verifiable requirements analysis. This paper proposes a method called NL2PD for Problem Frames approach to extract requirements entities and relationships from requirements texts described in natural language and generate a problem diagrams to assist software requirements analysis. Given a requirements document in natural language, we can automatically extract required information and generate problem diagrams, on top of which users can edit, import and export. The method was tested with common requirements formats, demonstrating its ability to streamline the process of constructing problem diagrams from requirements. A demo video of this tool is available at https://youtu.be/SxoTikU1Mek.

Microservices have an important position in today's software development, enabling a highly cohesive and low-coupling way of service organization. To address the complexity issues of inter-service communication, data consistency and distributed system management in the microservice decomposition process, we extend the traditional problem diagram based on the commonality of microservice decomposition and problem frames: the causal domain in the problem domain is further divided into communication components and business components. We design a microservice decomposition tool PF4MD to visualize service requirements and design problem decomposition and complexity calculation rules. We evaluated it with cases such as the Smart Building system and obtained a strategy similar to manual decomposition but with more intuitive and finer granularity, thus helping architects to make more efficient decisions and understand the decomposition process more clearly in system requirements.

This paper provides a support tool for Jackson's Problem Frames approach -named Trace4PF for decomposing a global problem diagram into sub-problem diagrams.The tool provides a web browser interface with features such as drawing, editing and performing syntactical checking, and highlighting the trace of causal chain.A video demonstration of the tool is available at https : //youtu.be/XSU V GGqEKkw.