检索结果-内蒙古大学图书馆

sequence diagram Aided Privacy Policy Specification

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2016年第3期13卷 381-393页

作者： Shen, Hui Krishnan, Ram Slavin, Rocky Niu, Jianwei Univ Texas San Antonio Dept Comp Sci San Antonio TX 78249 USA Univ Texas San Antonio Dept Elect & Comp Engn San Antonio TX 78249 USA

A fundamental problem in the specification of regulatory privacy policies such as the Health Insurance Portability and Accountability Act (HIPAA) in a computer system is to state the policies precisely, consistent with their high-level intuition. In this paper, we propose UML sequence diagrams as a practical means to graphically express privacy policies. A graphical representation allows decision-makers such as application domain experts and security architects to easily verify and confirm the expected behavior. Once intuitively confirmed, our work in this article introduces an algorithmic approach to formalizing the semantics of sequence diagrams in terms of linear temporal logic (LTL) templates. In all the templates, different semantic aspects are expressed as separate, yet simple LTL formulas that can be composed to define the complex semantics of sequence diagrams. The formalization enables us to leverage the analytical powers of automated decision procedures for LTL formulas to determine if a collection of sequence diagrams is consistent, independent, etc. and also to verify if a system design conforms to the privacy policies. We evaluate our approach by modeling and analyzing a substantial subset of HIPAA rules using sequence diagrams.

关键词： Formal verification sequence diagram temporal logic privacy policy HIPAA

来源：评论

学校读者我要写书评

暂无评论

sequence diagram Similarity Measurement: A Different Approach 16

Sequence Diagram Similarity Measurement: A Different Approac...

引用

16th International Joint Conference on Computer Science and Software Engineering (JCSSE) - Knowledge Evolution Towards Singularity of Man-Machine Intelligence

作者： Triandini, Evi Fauzan, Reza Siahaan, Daniel O. Rochimah, Siti STMIK STIKOM Bali Dept Informat Syst Denpasar Indonesia Inst Teknol Sepuluh Nopember Politekn Negeri Banjarmasin Dept Comp Sci Surabaya Indonesia Inst Teknol Sepuluh Nopember Dept Comp Sci Surabaya Indonesia

ISBN: (纸本)9781728107196

Unified Modified Language (UML) is a modeling language standard for identifying, recording and designing a software. Reusing UML diagrams can help to accelerate the software development process. Reusing UML diagram requires a method of calculating similarities between artifacts in UML diagram. The proposed method contented of two elements of sequence diagrams, i.e. property of class and message sequence. The result of experiment showed that the property class and message sequence could be a suitable parameter in evaluating the UML sequence diagram similarity.

关键词： sequence diagram measurement similarity method UML similarity

来源：评论

学校读者我要写书评

暂无评论

sequence diagram Slicing

Sequence Diagram Slicing

引用

16th Asia-Pacific Software Engineering Conference

作者： Noda, Kunihiro Kobayashi, Takashi Agusa, Kiyoshi Yamamoto, Shinichiro Nagoya Univ Grad Sch Informat Sci Nagoya Aichi 4648601 Japan Aichi Prefectural Univ Fac Informat Sci & Technol Aichi 4801198 Japan

ISBN: (纸本)9780769539096

Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However, it is still difficult to understand this behavior, because the size of automatically generated sequence diagrams tends to be beyond the developer's capacity. In this paper, we propose a sequence diagram slicing method, which is an extension of our previous method based on a dynamic slicing technique using static information. Our proposed method is capable of accurate slice calculation based on high-precision data dependency and can support various programs, including exceptions and multithreading. In addition, our proposed new tool performs slice calculations on the Eclipse platform and we demonstrate the applicability of this method by applying the tool to two Java programs as case studies. The results confirm the effectiveness of our proposed method for understanding the behavior of object-oriented systems.

关键词： sequence diagram Program Slicing Reverse Engineering Program Comprehension Program Maintenance Debugging

来源：评论

学校读者我要写书评

暂无评论

Mapping UML sequence diagram into the Web Ontology Language OWL

引用

INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS 2020年第5期11卷 318-326页

作者： Elsayed, Mo'men Elkashef, Nermeen Hassan, Yasser F. Alexandria Univ Dept Math & Comp Sci Fac Sci Alexandria Egypt Pharos Univ Fac Comp Sci & Artificial Intelligence Comp Sci Alexandria Egypt

In this paper, we propose a new mapping technique from the OMG's UML modeling language into the Web Ontology Language (OWL) to serve the Semantic Web. UML (Unified Modeling Language) is widely accepted and used as a standardized modeling language in Object-Oriented Analysis (OOA) and Design (OOD) approach by domain experts to model real-world objects in software development. On the other hand, the conceptualization, which is represented in OWL, is designed to process the content of information rather than just present the information. Therefore, the matter of migrating UML to OWL is becoming an energetic research domain. OWL (Web Ontology Language) is a Semantic Web language designed for defining ontologies on the Web. An ontology is a formal specification naming and definition of shared data. This technique describes how to map UML Models into OWL and allows us to keep semantic of UML sequence diagrams such as messages, the sequence of messages, guard invariant, etc. to make data of UML sequence diagrams machine-readable.

关键词： Mapping Unified Modeling Language UML sequence diagram ontology Web Ontology Language OWL

来源：评论

学校读者我要写书评

暂无评论

Formal Specification and Verification of Few Combined Fragments of UML sequence diagram

引用

ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING 2016年第8期41卷 2975-2986页

作者： Zafar, Nazir Ahmad COMSATS Inst Informat Technol Sahiwal Pakistan

UML has become a de-facto standard for design and development of object-oriented systems. On the other hand, UML includes various diagrams and notations which are missing of formal semantics. There does not exist much work to transform completely UML models to executable codes by any of the computer-aided software engineering tools because of the hidden semantics under the UML diagrams. Moreover, UML models cannot be used for automated analysis for validation and verification of the systems. Therefore, an integration of UML and semantics-based techniques such as formal methods is required to overcome such type of issues. Further, proof of correctness of software models plays a key role to ensure the quality of the final system to be developed. This paper presents a systematic method for transformation and verification of UML sequence diagrams into Z specification. The method works by translating and analysing few important combined fragments of sequence diagrams using Z notation. At first, formal specification of primary constructs is provided by capturing the hidden semantics under the diagram. Formal analysis of interaction operators namely options, alternatives, loops and break of the fragments is provided. The combined fragments are important because it allows multiple scenarios to increase an expressive power of sequence diagram by various control flows. Finally, formal analysis is provided by Z/Eves tool to check the syntax, type and proof for consistency and correctness of the specification.

关键词： UML sequence diagram Combined fragments Z notation Verification

来源：评论

学校读者我要写书评

暂无评论

Regression testing of object-oriented systems using UML state machine diagram and sequence diagram

引用

INTERNATIONAL JOURNAL OF COMPUTING SCIENCE AND MATHEMATICS 2020年第2期12卷 132-146页

作者： Panda, Namita Acharya, Arup Abhinna Mohapatra, Durga Prasad Deemed Univ Kalinga Inst Ind Technol Sch Comp Engn Bhubaneswar India Natl Inst Technol Dept Comp Sci & Engn Rourkela India

The software requirements are modelled using UML state machine diagram and UML sequence diagram. The different features of both the diagrams are combined and an intermediate graph, i.e., state sequence graph (SSG) is generated. The affected nodes, due to different changes in the past versions of the applications are stored for further analysis. Whenever, a new version of the software is developed, and it is under regression testing, test scenario prioritisation is carried out by finding the frequent pattern from the stored modification history. Different other factors like number of message passing, number of state changes etc. also contribute in prioritising the test cases. The proposed approach is applied on different case studies and the results are recorded. This approach is found to be very efficient when evaluated using prioritisation metric and compared with other related work.

关键词： regression testing test case prioritisation state machine diagram SMD sequence diagram test scenarios UML object-oriented systems computing science software requirements message passing state changes

来源：评论

学校读者我要写书评

暂无评论

Combinatorial test case generation from sequence diagram using optimization algorithms

引用

INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT 2022年第SUPPL 1期13卷 642-657页

作者： Tatale, Subhash Chandra Prakash, V. Koneru Lakshmaiah Educ Fdn Dept Comp Sci & Engn Vaddeswaram India

Combinatorial Testing plays an essential role in generating optimized test cases to detect defects that occurred by interactions among input parameters of the systems. To generate combinatorial test cases, information about parameters, values and constraints is essential. This information is given to the system manually in the current practice, making it difficult to test software systems. UML sequence diagram describes the dynamic behaviour of the software system. The authors presented a novel approach to generate combinatorial test cases from UML sequence diagram in this paper. The Combinatorial Test Design Model (CTDM) is used to get information like input parameters, values, and constraints for generating combinatorial test cases. Extracting this information from UML sequence diagrams and identifying interactions among the input parameters is a challenging task. A rule-based approach is used to extract the information related to CTDM from UML sequence diagram. Once this information is extracted, combinatorial test cases are generated using Optimization algorithms, namely Particle Swarm Optimization and Simulated Annealing. This presented work is a study to generate various combinatorial test cases through optimisation algorithms which will aid in the management of Indian Railways. The significant contributions of this research are (1) Extraction of parameters, values and constraints from UML sequence diagram by using the rule-based algorithm. (2) Generation of combinatorial test cases from that extracted information using optimization algorithms. A case study of the Concession Management Subsystem of Indian Railways is presented to demonstrate the proposed research work. The authors recommend that All Combination testing, Particle Swarm Optimization algorithm and Simulated Annealing algorithm be used for simple, moderate, and complex UML sequence diagrams to generate a minimum number of combinatorial test cases.

关键词： Combinatorial test case generation sequence diagram Pairwise testing Particle swarm optimization Simulated annealing Smart city

来源：评论

学校读者我要写书评

暂无评论

Generating sequence diagram from Natural Language Requirements 29

Generating Sequence Diagram from Natural Language Requiremen...

引用

29th IEEE International Requirements Engineering Conference (RE)

作者： Jahan, Munima Abad, Zahra Shakeri Hossein Far, Behrouz Univ Calgary Dept Elect & Software Engn Calgary AB Canada Univ Calgary Dept Comp Sci Calgary AB Canada

ISBN: (纸本)9781665418980

Model-driven requirements engineering is gaining enormous popularity in recent years. Unified Modeling Language (UML) is widely used in the software industry for specifying, visualizing, constructing, and documenting the software systems artifacts. UML models are helpful tools for portraying the structure and behavior of a software system. However, generating UML models like sequence diagrams from requirements documents often expressed in unstructured natural language, is time consuming and tedious. In this paper, we present an automated approach towards generating behavioral models as UML sequence diagrams from textual use cases written in natural language. The approach uses different Natural Language Processing (NLP) techniques combined with some rule based decision approaches to identify problem level objects and interactions. Additionally, different quality metrics are defined to assess the validity of generated sequence diagrams in terms of expected behaviour from a given use case. The criteria we established to assess the quality of analysis sequence diagrams can be applied to similar experiments. We evaluate our approach using different case studies concerning correctness and completeness of the generated sequence diagrams using those metrics. In most situations, we attained an average accuracy factor of over 85% and average completeness of over 90%, which is encouraging.

关键词： sequence diagram Use Case Scenario Natural Language Processing Requirement Engineering UML model

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Approach to Constructing UML sequence diagram

Model-Driven Approach to Constructing UML Sequence Diagram

引用

5th International Conference on Information Science and Applications (ICISA)

作者： Sawprakhon, Photchana Limpiyakorn, Yachai Chulalongkorn Univ Dept Comp Engn Bangkok 10330 Thailand

ISBN: (纸本)9781479944415

This paper presents a model-driven approach to transforming the source metamodels of UML Class diagram and Use Case Description to the target metamodel of sequence diagram, using ATL as the model transformation language. Natural Language Processing is applied for text processing of sentences written in Use Case Description. The resulting metamodel of sequence diagram is then transformed by Executable jar file for image rendering. The presented method would result in the improvement of software process. Rather than constructing the models from scratch during the different development life cycle stages, applying model transformations could enable the reuse of information that was once modeled, and enhance the consistency among the models representing different views of the system.

关键词： sequence diagram use case description class diagram natural language processing model transformation

来源：评论

学校读者我要写书评

暂无评论

Formal Verification of sequence diagram using DiVinE

Formal Verification of Sequence Diagram using DiVinE

引用

World Congress on Computer Applications and Information Systems (WCCAIS)

作者： Basit-Ur-Rahim, Muhammad Abdul Arif, Fahim Ahmad, Jamil Natl Univ Sci & Technol Mil Coll Signals Rawalpindi Pakistan Natl Univ Sci & Technol Res Ctr Modeling & Simulat Islamabad Pakistan

ISBN: (纸本)9781479933518

System modeling language is used to model the system engineering applications. This graphical modeling language is a semi-formal language. To develop a reliable application, the graphical models for large scale critical and complex applications must be validated and verified against user requirements in earlier phase of system development cycles. The sequence diagram is one of the popular diagram of SysML. The fragments of sequence diagram increase its functionality but the complexity as well. In this paper, a methodology is proposed to verify the sequence diagram including its fragments. The verification is performed using DiVinE parallel model checking tool that not only accelerates verification speed but also save modeling and verification cost. The rules have been specified to translate these individual fragments to DiVinE's supported language DVE. To develop a reliable product, our results suggest the use of DiVinE for verification of sequence diagram including its fragments.

关键词： component Verification and validation Parallel model checking DiVinE sequence diagram SysML

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：