A Methodology for Use Cases Modeling Based on Sequence Diagrams Quantification

2006 ◽  
Author(s):  
J. Reyes Juarez ◽  
K.C. Barraza ◽  
G. Licea ◽  
A. Cristobal-Salas
Keyword(s):  
Use Cases ◽  
Sequence Diagrams

scholarly journals Design and Analysis of Management Information System Qurban (SIMAQ) at PKPU Human Initiative, East Jakarta

2021 ◽  
Vol 3 (2) ◽  
pp. 79-86
Author(s):  
Oviani Viandari ◽  
Qurrotul Aini
Keyword(s):  
Information System ◽  
Management Information System ◽  
Unified Modeling Language ◽  
Use Cases ◽  
Use Case ◽  
Sequence Diagrams ◽  
Management Information ◽  
Application Development ◽  
Analysis And Design ◽  
Governmental Institutions

The establishment of the Pos Keadilan Peduli Umat (PKPU) Human Initiative as one of the non-governmental institutions. Concentration on humanitarian issues should have a public service standard such as a SIM (Management Information System) the goal is to fulfill role processing needs in channel qurban with modern management where more days the number of donors is getting more increase so that requires management to improve service quality. Therefore the writer analyzed and designed the Qurban Management Information System at PKPU Jakarta East. The method used in Job Training (PKL) is Rapid Application Development (RAD) through the Requirement Planning and Workshop Design stages with modeling Unified Modeling Language (UML) so as to produce analysis and design of Information Systems Qurban Management (SIMAQ), from the results of street vendors the authors analyze and design include: integrate donor data management starting from collection transactions up to reporting on distribution or distribution of qurban animals, the author designs starting from the use case diagram that will explain the sequence of activities performed by actors and systems to achieve the system needed, such as identification of actors, identification of use cases , design of use cases and use case narratives , activity diagrams, sequence diagrams, and class diagrams . Display of the system user interface qurban management information based on the duties and authority of each actor.

Communiqué: a planning-based sequence diagrams generator

2018 ◽  
Vol 33 ◽  
Author(s):  
Moataz Ahmed ◽  
Yaser Sulaiman
Keyword(s):  
Message Passing ◽  
System Development ◽  
Language Model ◽  
Unified Modeling Language ◽  
Action Planning ◽  
Use Cases ◽  
Planning Problem ◽  
Sequence Diagrams ◽  
Automatic Sequence ◽  
Class Diagrams

AbstractDuring the software system development lifecycle, different types of Unified Modeling Language model are developed to represent different views of the system. Sequence diagrams represent one of the most important types of model. They show how objects in the system interact to offer the functionality manifested in the form of use cases. As the complexity of the system being modeled increases, creating the sequence diagrams manually becomes harder. However, the problem of automatic sequence diagrams generation has not caught enough researchers yet. This paper presents an approach and a tool to automatically generate sequence diagrams from use cases and class diagrams. The problem of determining the sequence of message passing is treated as an Artificial Intelligence action planning problem and solved as such. In doing so, Design by Contract concepts are enforced in the specification of the given use cases and class diagrams. A special message-passing planner, Communiqué, was developed and implemented accordingly. The overall approach was empirically evaluated against sets of manually created sequence diagrams available in the literature. Communiqué was able to create sequence diagrams comparable to the manually developed ones. The paper also sheds the light on some directions for future work to advance the applicability of the approach.

Formal Consistency Verification of UML Requirement and Analysis Models

2013 ◽  
pp. 205-235
Author(s):  
Mouez Ali ◽  
Hanene Ben-Abdallah ◽  
Faïez Gargouri
Keyword(s):  
Use Cases ◽  
Theorem Prover ◽  
Use Case ◽  
Functional Requirements ◽  
Sequence Diagrams ◽  
Analysis Model ◽  
Unified Process ◽  
Correspondence Rules ◽  
Analysis Models ◽  
Consistency Verification

To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of the same system. In this chapter, the authors propose an enriched format for documenting UML2.0 use cases. This format facilitates consistency verification of the functional requirements with respect to the sequence diagrams included in the analysis model. The consistency verification relies on a set of rules to check the correspondence among the elements of the documented use cases and those of the sequence diagrams; the correspondence exploits the implicit semantic relationship between these diagrams as defined in UP. Furthermore, to provide for a rigorous verification, the authors formalize both types of diagrams and their correspondence rules in the formal notation Z. The formal version of the analysis model is then verified through the theorem prover Z/EVES to ensure its consistency.

SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

2002 ◽  
Vol 13 (01) ◽  
pp. 5-51 ◽  
Author(s):  
DAVID HAREL ◽  
HILLEL KUGLER
Keyword(s):  
Complex Systems ◽  
Finite State Machines ◽  
Use Cases ◽  
Synthesis Problem ◽  
State Machines ◽  
Sequence Diagrams ◽  
Live Sequence Charts ◽  
Message Sequence Charts ◽  
Object System ◽  
Finite State

Live sequence charts (LSCs) have been defined recently as an extension of message sequence charts (MSCs; or their UML variant, sequence charts (MSCs; or their UML variant, sequence diagrams) for rich inter-object specification. One of the main additions is the notion of universal charts and hot, mandatory behavior, which, among other things, enables one to specify forbidden scenarios. LSCs are thus essentially as expressive as statecharts. This paper deals with synthesis, which is the problem of deciding, given an LSC specification, if there exists a satisfying object system and, if so, to synthesize one automatically. The synthesis problem is crucial in the development of complex systems, since sequence diagrams serve as the manifestation of use cases — whether used formally or informally — and if synthesizable they could lead directly to implementation. Synthesis is considerably harder for LSCs than for MSCs, and we tackle it by defining consistency, showing that an entire LSC specification is consistent iff it is satisfiable by a state-based object system, and them synthesizing a satisfying system as a collection of finite state machines or statecharts.

Sign in / Sign up

Export Citation Format

Share Document