Clarity for Stakeholders: Empirical Evaluation of ScenarioML, Use Cases, and Sequence Diagrams

2007 ◽  
Keyword(s):  
Empirical Evaluation ◽  
Use Cases ◽  
Sequence Diagrams

Stream-based explainable recommendations via blockchain profiling

2021 ◽  
pp. 1-17
Author(s):  
Fátima Leal ◽  
Bruno Veloso ◽  
Benedita Malheiro ◽  
Juan Carlos Burguillo ◽  
Adriana E. Chis ◽  
...  
Keyword(s):  
Historical Data ◽  
Positive Impact ◽  
Empirical Evaluation ◽  
Recommendation Systems ◽  
Use Cases ◽  
Collaborative Filter ◽  
Model Based ◽  
Collaborative Recommendation ◽  
Smart Contract ◽  
User Trust

Explainable recommendations enable users to understand why certain items are suggested and, ultimately, nurture system transparency, trustworthiness, and confidence. Large crowdsourcing recommendation systems ought to crucially promote authenticity and transparency of recommendations. To address such challenge, this paper proposes the use of stream-based explainable recommendations via blockchain profiling. Our contribution relies on chained historical data to improve the quality and transparency of online collaborative recommendation filters – Memory-based and Model-based – using, as use cases, data streamed from two large tourism crowdsourcing platforms, namely Expedia and TripAdvisor. Building historical trust-based models of raters, our method is implemented as an external module and integrated with the collaborative filter through a post-recommendation component. The inter-user trust profiling history, traceability and authenticity are ensured by blockchain, since these profiles are stored as a smart contract in a private Ethereum network. Our empirical evaluation with HotelExpedia and Tripadvisor has consistently shown the positive impact of blockchain-based profiling on the quality (measured as recall) and transparency (determined via explanations) of recommendations.

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.

Sign in / Sign up

Export Citation Format

Share Document