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

14th International Symposium on Business Modeling and Software Design (BMSD)

作者： de Brock, Bert Univ Groningen Fac Econ & Business POB 800 NL-9700 AV Groningen Netherlands

ISBN: (纸本)9783031640728;9783031640735

Research problem and research questions: There exist several diagram techniques to represent (business) processes, such as activity diagrams and BPMN-diagrams. Butwhat is their formal semantics? Dothey have a mathematical declarative semantics? We intend to provide such a semantics. Contribution: We define a mapping from UTIL, a universal textual instruction language template with a formal, declarative semantics, to activity diagrams and another mapping from UTIL to BPMN. In this way, we give the generated BPMN and activity diagrams a formal, declarative semantics as well. It also provides a basis to study those diagrams and to compare them on a semantic level. It gives an alternative perspective on those diagrams as well.

关键词： Textual Instruction Languages Graphical Instruction Languages activity diagrams BPMN diagrams Declarative Semantics

来源：评论

学校读者我要写书评

暂无评论

activity diagrams between devs-based modeling & simulation and fuml-based model execution 20

Activity diagrams between devs-based modeling & simulation a...

引用

Proceedings of the 2020 Summer Simulation Conference

作者： Abdurrahman Alshareef Doohwan Kim Chungman Seo Bernard P. Zeigler King Saud University Riyadh Saudi Arabia RTSync Corp.

ISBN: (纸本)9781713814290

activity diagrams are prominently used for modeling for both system and software engineering. Their metamodel in the Unified Modeling Language (UML), and the System Modeling Language (SysML), is used to standardize specifying behavioral models in a flow-based manner. However, due to the high-level metamodel, further description is needed to facilitate a precise interpretation of these diagrams in a computational environment. A Discrete Event System Specification (DEVS) was devised to provide an initial simulation of activities and therefore enable more advanced simulations and experiments. Another line of research has been focusing on providing execution for activities according to the Semantics of a Foundational Subset for Executable UML Models. In this work, we examine both approaches highlighting the similarities and differences. We also attempt to examine the capacity of each approach to handle potential complexity that might arise during the model lifespan, especially for modeling System of Systems.

关键词： model-based system engineering UML DEVS SysML activity diagrams

来源：评论

学校读者我要写书评

暂无评论

Towards a Call Behavior-Based Compositional Verification Framework for SysML activity diagrams 16th

Towards a Call Behavior-Based Compositional Verification Fra...

引用

16th International Colloquium on Theoretical Aspects of Computing (ICTAC)

作者： Ouchani, Samir CESI Lab Innovat Numer Ecole Ingn LINEACT Aix En Provence France

ISBN: (纸本)9783030325053;9783030325046

SysML activity diagram is a standard modeling language for complex systems. It supports systems' composition by providing the operator 'call behavior'. In general, the verification of systems modeled with those diagram inherit the limitations of the developed built-in tools, especially the case of model checking. To address this shortcoming, we propose a compositional verification framework based on the call behavior operator to alleviate the state space explosion problem of model-checking. The framework decomposes a property into local subproperties and verify them separately on the composed behavioral diagrams. Further, we propose to ignore the diagrams' artifacts that are useless with respect to the property under verification. We prove the soundness of the proposed approach by showing that the result deduced from the verification of the local properties is always preserved. The verification results are obtained by encoding SysML activity diagrams in the probabilistic model checker 'PRISM'. Finally, we demonstrate the effectiveness of our framework by verifying a set of properties on two use cases that require a large amount of memory and a considerable time processing.

关键词： SysML activity diagrams Model-checking Compositional verification Abstraction PCTL PRISM

来源：评论

学校读者我要写书评

暂无评论

Regression test selection using class, sequence and activity diagrams

引用

IET SOFTWARE 2016年第3期10卷 72-80页

作者： Dahiya, Sumit Bhatia, Rajesh K. Rattan, Dhavleesh Deenbandhu Chhotu Ram Univ Sci & Technol Comp Sci & Engn Dept Sonipat Haryana India PEC Univ Technol Dept Comp Sci & Engn Chandigarh 160012 India Punjabi Univ Dept Comp Engn Patiala Punjab India

Regression test selection is a process to select a subset of existing test cases, which are then used with some new test cases for regression testing. Regression testing ensures that the changes made to the system have not affected the existing functionality. To date, there is no adequate technique which can do regression test selection by considering changes in semantics of operations (along with the other syntax and semantics changes) using UML diagrams. Change in semantics of an operation refers to the change in conditional statements, change in independent paths/unique paths, change in control flow and addition or deletion of any content from the existing functionality. In this study, a novel approach is presented which can do this using class, sequence and activity diagrams. The tool compared old and new versions of UML diagrams to categorise test cases into reusable, retestable, obsolete and newly generated category. activity diagrams are specifically used to test the semantics of operations. The changed operations corresponding to these activity diagrams are also searched in class and sequence diagrams for regression test selection. This study has been validated by comparison with previous study. It is found that the authors' work provides significant increase in accuracy.

关键词： programming language semantics Unified Modeling Language program testing software reusability regression test selection activity diagrams subset selection operations semantics UML diagrams conditional statements independent paths unique paths control flow class sequence reusable test case retestable test case obsolete test cases new test case generation algorithm

来源：评论

学校读者我要写书评

暂无评论

Logic Controller Design System Supporting UML activity diagrams 22

Logic Controller Design System Supporting UML Activity Diagr...

引用

22nd International Conference on Mixed Design of Integrated Circuits & Systems (MIXDES)

作者： Grobelny, Michal Grobelna, Iwona Univ Zielona Gora Zielona Gora Poland

ISBN: (纸本)9788363578060

The paper introduces a logic controller design system, called PNAD, supporting UML activity diagrams in version 2.x as a semi-formal specification technique. The system enables transformation of activity diagrams into control Petri nets, their formal verification using model checking technique and the nuXmv tool, generation of synthesizable code in hardware description language VHDL and generation of C code for microcontrollers. The benefits include the support for discrete event system development since the specification till prototype implementation. Additionally, reverse transformation from control Petri nets into UML activity diagrams is also possible. The internal representation of diagrams is based on XML files. The usage of proposed system is illustrated on an example of concrete production process.

关键词： activity diagrams design logic controllers specification system UML

来源：评论

学校读者我要写书评

暂无评论

Transformation from activity diagrams with Time Properties to Timed Coloured Petri Nets 38

Transformation from Activity Diagrams with Time Properties t...

引用

IEEE 38th Annual International Computers, Software and Applications Conference (COMPSAC)

作者： Chang, Xuling Huang, Linpeng Hu, Jianpeng Li, Chen Cao, Bei Shanghai Jiao Tong Univ Dept Comp Sci & Engn Shanghai 200030 Peoples R China

ISBN: (纸本)9781479935741

The activity diagram is widely used for describing and understanding workflows, however, it lacks a formal semantics and cannot be manipulated by computer. In this paper, we present a transformation from UML activity diagrams with time properties to timed coloured petri nets (TCPNs) in a formal way. We extend the activity diagram with time properties and a formal model named extended activity hypergraph (EAH) is defined. By mapping this formal model to a clocked transition system (CTS), we define a weak semantics for it. A list of transformation rules are proposed to show how this can be transformed to a TCPN model. We partially prove the model equivalence of the two models. Finally, an example of GameCapture application is used to validate our approach.

关键词： activity diagrams Timed Coloured Petri Nets Extended activity Hypergraph Model Transformation

来源：评论

学校读者我要写书评

暂无评论

Hierarchical activity-Based Models for Control Flows in Parallel Discrete Event System Specification Simulation Models

引用

IEEE ACCESS 2021年 9卷 80970-80985页

作者： Alshareef, Abdurrahman Sarjoughian, Hessam S. King Saud Univ Coll Comp & Informat Sci Informat Syst Dept Riyadh 11451 Saudi Arabia Arizona State Univ Arizona Ctr Integrat Modeling & Simulat Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA

Behavior modeling grounded in the Discrete-Event System Specification (DEVS) and Unified Modeling Language (UML) activity specifications is crucial for simulating dynamical systems. The Model-Driven Architecture (MDA) design approach provides flexible yet rigorous layered metamodels for the UML activity diagrams. Our approach for behavior modeling is focused on the action and control concepts in the UML activity metamodels and realizing them as artifacts according to the DEVS formalism. The syntax and semantics for the artifacts conform to the parallel DEVS model specification and execution protocol. We use the system-theoretic state, component, and hierarchy concepts as the foundation for formulating the DEVS activity models and supported with a prototype graphical tool developed in Sirius. This research also proposes the Parallel DEVS as a formal approach for examining the semantics of the UML Activities. We develop, simulate, and analyze a set of prototypical multi-processor architecture systems demonstrating different synchronization and selection schemes using the DEVS-Suite and MS4 Me simulators.

关键词： Unified modeling language Computational modeling Modeling Mathematical model Semantics Computer architecture Analytical models activity diagrams behavior modeling DEVS parallelism model-based design modeling & simulation software modeling

来源：评论

学校读者我要写书评

暂无评论

Handling complexity of large high-level specifications in simulation environment: the case of transformational model-battle management

引用

JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS 2024年

作者： Alshareef, Abdurrahman Kim, Doohwan King Saud Univ Coll Comp & Informat Sci Dept Informat Syst POB 2454 Riyadh 11451 Saudi Arabia RTSync Corp Chandler AZ USA

Modeling system requirements at a high level can significantly facilitate the communication of mental models across highly heterogeneous entities. Two major challenges may arise during such a process. The first is the degree to which details of the higher-level specifications can capture and effectively handle. Especially, when the model contains more nuanced descriptions of parallel execution and temporal pacing. The second challenge arises when realizing such specifications downstream due to ambiguities and incompleteness encountered in higher-level semiformal artifacts. We propose a formal specification and transformation of higher-level artifacts, particularly in the operational activity model of the Department of Defense Architecture Framework (OV-5 DoDAF). We create an isomorphic activity model corresponding to each activity in the Transformational Model-Battle Management. Then, we generate a code for simulating the models as Markov Discrete Event System Specifications. We demonstrate the size and other aspects of the experiments that can be conducted based on the generated simulation and the level of complexity in such an approach. We highlight aspects of managing complexity using model transformations and code generation techniques in a full-cycle model-based system engineering approach, expediting the process toward arriving at the concrete realization of simulation models that only originated from minimal high-level metamodels and artifacts.

关键词： activity diagrams model-based system engineering system modeling language theory of modeling and simulation transformational model-battle management Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Modelling Quantum Circuits with UML 2

Modelling Quantum Circuits with UML

引用

2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE)

作者： Perez-Castillo, Ricardo Jimenez-Navajas, Luis Piattini, Mario Univ Castilla La Mancha Talavera De La Reina Spain Univ Castilla La Mancha Ciudad Real Spain

ISBN: (纸本)9781665444620

None of the quantum computing applications imagined will ever become a reality without quantum software. Quantum programmes have, to date, been coded with ad hoc techniques. Researchers in the field of quantum software engineering are, therefore, now demanding more systematic techniques and methods with which to produce software with sufficient quality. One of the challenges and lessons learned from classic software engineering is the need for high-level, abstract and technology-independent representations with which to design software before it is coded. This paper specifically addresses this challenge for quantum software design. Since UML is a well-proven modelling language that has been widely employed by industry for some time, we propose a UML extension for the representation of quantum algorithms. Our proposal comprises the definition of a UML profile based on various stereotypes that can be applied to the existing UML activity diagrams in order to represent quantum circuits. The advantage of this representation is that UML quantum circuits can be interrelated with other UML elements and diagrams, which will make it possible to represent various concerns and viewpoints of the so-called hybrid information systems. This will consequently enable classical and quantum aspects to be modelled together in integrated designs in a technological-agnostic manner that is already supported by a considerable number of existing software design tools.

关键词： Quantum Software Engineering Quantum Computing UML Quantum algorithms activity diagrams

来源：评论

学校读者我要写书评

暂无评论

Using Lightweight activity diagrams for Modeling and Generation of Web Information Systems 4th

Using Lightweight Activity Diagrams for Modeling and Generat...

引用

4th International United Information Systems Conference (UNISCON)

作者： Reiss, Dirk Rumpe, Bernhard Tech Univ Carolo Wilhelmina Braunschweig Inst Bldg Serv & Energy Design Braunschweig Germany Rhein Westfal TH Aachen Software Engn Dept Aachen Germany

ISBN: (纸本)9783642383700;9783642383694

The development process of web information systems nowadays improved a lot regarding effectiveness and tool support, but still contains many redundant steps for similar tasks. In order to overcome this, we use a model-driven approach to specify a web information system in an agile way and generate a full-fledged and runnable application from a set of models. The covered aspects of the system comprise data structure, page structure including view on data, page- and workflow within the system as well as overall application structure and user rights management. Appropriate tooling allows transforming these models to complete systems and thus gives us opportunity for a lightweight development process based on models. In this paper, we describe how we approach the page-and workflow aspect by using activity diagrams as part of the agile modeling approach MontiWIS. We give an overview of the defined syntax, describe the supported forms of action contents and finally explain how the behavior is realized in the generated application.

关键词： Web Information Systems Workflow activity diagrams Domain Specific Language Modeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：