Formalizing and Analyzing UML Use Case Hierarchical Predicate Transition Nets

Unified Modeling Language (UML), developed by a group of leading experts in object-oriented methodologies, has become the standard object-oriented development methodology in the software industry. UML contains a set of diagrams for describing different views and aspects of systems. UML use case diagrams are used during requirements analysis to define a use case view that constitutes a system’s functional model. Each use case describes a system’s functionality from a user’s perspective. However, the use case descriptions are often informal, which are error-prone and cannot be formally analyzed to detect problems in user requirements or errors introduced in a system functional model. A well-defined use case view is not only necessary for subsequent correct system design and implementation but also serves as a basis for future system evolution. Therefore, it is extremely important to ensure the correctness of the functional model captured in a use case view. In this chapter, we present an approach to formally translate a use case view into a formal model in hierarchical predicate transition nets that support formal analysis and thus are capable to detect possible requirements and modeling errors in a use case view.

The unified modeling language (UML) is one of the most commonly used modeling languages in the software industry. It simplifies the complex process of design by providing a set of graphical notations, which helps express the objectoriented analysis and design of software projects. Although UML is applicable to different types of systems, domains, methods, and processes, it cannot express certain problem domain needs. Therefore, many extensions to UML have been proposed. In this paper, we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical (iUML-g) form. iUML-g integrates the existing UML extensions into one integrated form. This includes an integrated diagram for UML class, sequence, and use case diagrams. The proposed approach is evaluated using a case study. The proposed iUML-g is capable of modeling systems that use different domains.

The basic precondition for effective management and protection of a forest is a concept built on modern methods of collection, processing, analysis and publication of spatial data about forest coverage, as well as its health status. This paper provides a structural concept for integration of heterogeneous data in the support of the forest protection with implementation of the latest methods of remote sensing data collection. The main principles of the structural concept of Forest protection management system (FPMS) result from the assessment of the current and new available data sources (represented by the Diagram of data sources), data analysis and development of innovative mathematical techniques of image processing (represented by the Diagram of methods and tools). Mind maps of the proposed diagrams were created in the free mind mapping application FreeMind. The structural concept is represented by an analytical model of the co-operation of data sources, tools and applications. The dynamic structure was proposed using Unified Modelling Language (UML). The Diagram of the use cases is represented by a Use Case Diagram in UML. The Diagram of the processes, which describes the main processes realized within forest protection management, is represented by an Activity Diagram in UML. The UML diagrams were created in open-source software StarUML. The resulted structural concept of FPMS is the basis of a predictive model improvement and a web application development for the forest protection from the bark beetle.

To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspects-oriented software reverse engineering was proposed. An approach on re-modularizing traversal features of legacy system was presented, which based on various Unified Modeling Language (UML) diagrams. While modeling crosscutting concerns in UML use case diagrams, the non-functional requirements that affect several use case modules can be enveloped into aspects modules with stereotype mechanism. The recurring message transmission patterns can be re-modularized as aspects in UML sequence diagrams with UML collaborations. Standard UML activity diagram notations were extended and modified by nodes fusion and addition, which support the graphical composition operation between crosscutting behaviors and primary business rules of concurrent system. The case study indicates traversal features of software system can be extracted and re-modularized from various perspectives in aspects-oriented reverse engineering, which improves the comprehensibility and maintainability of legacy system.

Software developers are increasingly using Unified Modeling Language (UML) tools to automate source code generation. Therefore, nowadays calculating software metrics from UML diagrams to evaluate software quality is an important trend in the software industry. However, acquisition of software metrics from Extensible Markup Language (XML) export of UML tools has been predominantly tool dependent. Moreover, each new tool may have different specifications in XML. Despite the overall need for a process to automate XML unification, no current solution has yet been proposed. Creating a framework to automate this assessment would streamline development and increase efficiency in software industry. With the aim to overcome this deficiency, we developed a parser-based framework, named UXSOM, to calculate software metrics independently from the UML tool. Particularly UXSOM is able to generate software metrics from the XML-based outputs of the tools, ArgoUML, UMLET, MagicDraw, Sparx Systems, and ESS Model. We showed a very general case of UML class diagram, in which we extracted and compared software metrics from these five different tool.

In manufacturing, a good workshop tool management system (WTMS) plays an important role for enterprise production planning system & the use of equipment capacity. By using Unified Modeling Language (UML), based on Use Case Diagram, Static Structure Diagrams, and Dynamic Behavior Diagram, the functional demands of workshop tool management system are analyzed. Thus the workshop tool management system model is established, and the Sub-function systems are designed in detail. Farther more, technical instrument of WTMS & key technology are systematically studied. And an example of WTMS prototype system has been put forward in the end.

In this paper, we propose a verification methodology for System-On-Chip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze and formalize the specification. The specification and implementation validation can be performed systematically by introducing UML. We applied our method to a Mobile Media Processors SoC. We improved the quality of ζ the specification written in informal natural language through UML modeling techniques. The test scenarios and coverage metrics for implementation are derived from the UML model systematically. The result shows that our proposal is effective for eliminating errors from both specification and implementation.

Developing software systems that are complicated and critical gives challenges to software engineers and the software industry. Intelligent software agent design is one such application domain that imposes challenges. The application of formal methods in software engineering, specifically with executable software specification languages, can involve much learning among the users of the system. Although executable software specifications tend to be advantageous over the traditional software specification process, the passive growth inside industry remains open for research efforts to come up with the hidden myths. The application of formal methods during system development of intelligent software agents makes the design of the product reliable. This paper describes an approach that combines an extension to the widely used Unified Modeling Language (UML) for design with an executable specification language. Also, the paper describes an approach that transforms agent oriented specifications written using the extended Descartes specification language into a high level design representation using Agent UML (AUML).

This paper describes the identity management system (IdMS) by defining system and user requirements. Additionally, it introduces the IdMS concept that approaches the things identity management. Moreover, the paper deeply describes the IdMS features using unified modelling language (UML) diagrams such as class, system, and sequence diagrams to show the main system functionalities. Ultimately, the suggested system is evaluated by comparing it with the existing systems and discussing the fulfilment of user and system requirements.

Component-based software development is the successor of object-oriented software development. Authors of the paper extend existing Unified Modeling Language standard to describe containers semantically, automate the process of creating containers and later deploying them to the platform as a service. The paper presents the concept of using Unified Modeling Language (UML) as well as principles of Model Driven Architecture (MDA) to automate creating of and maintaining containers. The main aims are designing meta-model language that is capable of defining Docker containers as part of software architecture modeling process and using transformations to create Docker files that can be used to instantiate container. The paper presents UML profile UML Docker Services Profile and model-to-text transformation Model2DockerFile transformation. Both, the profile and the transformation were designed, implemented and incorporated in IBM Rational Software Development environment. The developed environment can be used to generate DockerFile files, from UML models with applied specific stereotypes from UML Docker Services Profile, that can be used in containers runtime.

The remarkable surge in demand for motorcycle repair and maintenance services within the motorcycle industry can be attributed to the growing number of motorcycles in the Philippines. This paper presents the development of the MotorCyclepp mobile application, designed to facilitate the finding of motorcycle mechanics in Metro Cebu, Philippines. With this app, riders can effortlessly locate and choose from a list of available mechanics within their vicinity and send service requests accordingly. Simultaneously, mechanics can conveniently review the received requests and decide whether to accept or decline them. Once a request is accepted, the service begins, and upon completion, both parties can conclude their transactions and provide feedback messages. The Input-Process-Output (IPO) model was employed as the system’s methodology. The user interface (UI) design was created using Unified Modeling Language (UML), such as a use case diagram, sequence diagram, and class diagram. The evaluation procedures utilized the ISO 9126 model, which examines five quality characteristics: functionality, reliability, usability, efficiency, and portability, for data analysis. The results revealed that the app is unique and interesting but requires further improvements. The significance of this research to the body of literature and the industry will provide future researchers with a valuable reference for advancing mechanic finder app innovations. Keywords: finder, information technology, ISO 9126, mobile application.

Scenario is an account of description of user interaction with the system, presented in a sequence. They can be represented using unified modeling language (UML) diagrams such as use case diagram, state charts, activity diagrams etc. Scenario-based testing can be performed at higher abstraction level using the design diagrams. In this work activity diagrams are used which are annotated with action semantics to test scenario dependencies. The action semantics make activity diagram executable and the dependencies between multiple scenarios can be seen at execution level. The authors intend to propose an approach for scenario dependency testing. Dependency graphs will be then generated against all the dependencies present on activity diagram under test. The test paths extracted from these dependency graphs help in testing.

During this revolutionizing global market, enterprise companies of today must respond dynamically to changes in order to survive the future. The changes compel all business owners to adjust themselves and adapt to new strategies in managing their businesses. Previously, employee management was done manually by most of the company or organization and it requires a huge effort in internal management to ensure an optimum level of their business productivity. In recent years, there has been a significant advancement in technology that allows the company to transform the manual process of employee management into a digitized process through the development of software or web application. Employee management has been undergoing considerable change over the past few decades, as most industries have realized the potential of technology to improve employee management and information. Therefore, an Employee Management System is proposed to solve the problems. The methodology used to develop this system is Agile methodology. Agile methodology focuses on the iteration cycle that splits the development process into different phases which are known as sprints. The phases of Agile methodology consists of requirements, analysis, design, implementation and testing. The system requirements are gathered by using the elicitation techniques such as interview, survey, literature reviews and prototyping. These requirements are represented using Unified Modeling Language (UML) including use case diagram, sequence diagram and activity diagram and then documented into Software Requirement Specification (SRS). A complete and overall design of the system which includes system architecture design, database design, interface design and test case design are conducted and documented into Software Design Document (SDD) and Software Testing Documentation (STD). At the end of this project, an intuitive Employee Management System is developed and could be fully functional to improve the effectiveness of the employee management in the company.

This research aims to design and build a web-based data management system using QR Code technology to address production machine data management issues at PT Denso Manufacturing Indonesia Cikarang Baru. The current system still relies on manual methods using Microsoft Excel and physical documents, resulting in delayed information access, the risk of input errors, and the difficulty of real-time data tracking. This research employed a Research and Development (R&D) method, including literature review, observation, and interviews to identify system requirements. The system was designed using Unified Modeling Language (UML), which includes Use Case diagrams, Activity diagrams, sequence diagrams, and class diagrams. The database was optimized through normalization and Entity Relationship Diagrams (ERDs). The resulting web-based system allows Admins and Users to manage machine data through features such as registration, login, data addition, QR Code scanning, and data updates, with access controlled based on user roles. This system has successfully improved operational efficiency, reduced machine downtime, and supported the digitalization of work processes at PT Denso Manufacturing Indonesia, while positively contributing to the company's productivity and digital transformation.

Information Systems are a combination of hardware components and devices. Information Systems are a collection of integrated hardware and software components and have the task of collecting, storing and processing data so as to produce digital products for the availability of information for an organization. PT. Multi Citra Rasa is a B2B company operating in the F&B sector for the food service category. One of the problems that occurs in this company is the long follow-up between departments in the customer order process, this is due to the limited information obtained. System analysis was carried out using UML (Unified Modeling Language) on the Use Case Diagram. Use Case Diagram is used to generally describe the weaknesses of the system currently running at PT Multi Citra Rasa. Data was collected through an observation process in the field, then conducting questions and answers with the users involved and looking for several references that support this research. At the system design stage, researchers also used UML in Sequence Diagrams and Class Diagrams. UML is an object-oriented system modeling, where these objects will be realized on application pages that are synchronized with user needs. Meanwhile, Class Diagrams are designed to make it easier to realize database designs into basic forms of physical data, so that in the end data processing can run optimally and the information displayed is in accordance with user requirements. This research meets the needs of company management and provides convenience to all users involved so that operational activities become more effective and efficient in the future.