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

A method for testing and validating executable statechart models

SOFTWARE AND SYSTEMS modeling 2019年第2期18卷 837-863页

作者： Mens, Tom Decan, Alexandre Spanoudakis, Nikolaos I. Univ Mons Fac Sci Software Engn Lab B-7000 Mons Belgium Tech Univ Crete Sch Prod Engn & Management Appl Math & Comp Lab Khania 73100 Greece

Statecharts constitute an executable language for modelling event-based reactive systems. The essential complexity of statechart models solicits the need for advanced model testing and validation techniques. In this article, we propose a method aimed at enhancing statechart design with a range of techniques that have proven their usefulness to increase the quality and reliability of source code. The method is accompanied by a process that flexibly accommodates testing and validation techniques such as test-driven development, behaviour-driven development, design by contract, and property statecharts that check for violations of behavioural properties during statechart execution. The method is supported by the Sismic tool, an open-source statechart interpreter library in Python, which supports all the aforementioned techniques. Based on this tooling, we carry out a controlled user study to evaluate the feasibility, usefulness and adequacy of the proposed techniques for statechart testing and validation.

关键词： Statechart executable modeling Behaviour-driven development Design by contract Runtime verification

来源：评论

学校读者我要写书评

暂无评论

modeling state transitions with colored petri nets

Modeling state transitions with colored petri nets

引用

2020 International Workshop on Petri Nets and Software Engineering, PNSE 2020

作者： Pitts, Rowland George Mason University FairfaxVA United States

来源：评论

学校读者我要写书评

暂无评论

Command and Control System executable modeling Researching

Command and Control System Executable Modeling Researching

引用

2012 International Conference on Material Sciences and Manufacturing Technology(ICMSMT 2012)

作者： Tang Xue-song Meng Qing-hua Dong Zhi-hong Lou Da-guang Armor Technique Institute of PLA

We proceed from the perspective of object-oriented analysis and design modeling, focusing on the model design of command and control automation system, using Colored Petri Net(CPN) to a command and control systems for dynamic design and simulation run. A method of mapping from UML product can be used for logical, behavioral and performance aspects of architecture evaluation methods of CPN executable models is proposed. We first descript the command and control system for UML modeling generally, and then elaborate the process from UML products are mapped to the CPN build executable model of the command and control system.

关键词： Command and control executable modeling Colored petri net

来源：评论

学校读者我要写书评

暂无评论

modeling Semantics sans Mathematical Formalism 7

Modeling Semantics <i>sans</i> Mathematical Formalism

引用

7th International Workshop on Software Knowledge

作者： Gallant, Reuven JCT Lev Acad Ctr Deparment Comp Sci & Engn 21 HaVaad HaLeumi St Jerusalem Israel

ISBN: (纸本)9789897582028

Much ink has been spilled regarding the trials and tribulations of adapting formal methods to the needs of software engineering practitioners With the exception of computer scientists with a passion for algorithm design and optimization, a plethora of Greek letters and symbols can be an anathema to those whose first love is writing code. The advent of graphical modeling languages such as UML, and supporting tools that generate production quality code, executable modeling behavioral simulations for bridging the gap between formalism and coding. This paper proposes, with illustrative examples, an exploratory learning modality, by which the practicing engineer can investigate and empirically learn the semantic mapping of UML syntax to the semantic domains of system instantiation and reactive behavior.

关键词： executable modeling Formal Methods Graphical modeling Languages Production Quality Code Syntax Semantics Semantic Mapping Simulation UML

来源：评论

学校读者我要写书评

暂无评论

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

引用

SERVICE ORIENTED COMPUTING AND APPLICATIONS 2014年第4期8卷 323-339页

作者： Albert, Elvira de Boer, Frank S. Haehnle, Reiner Johnsen, Einar Broch Schlatte, Rudolf Tarifa, S. Lizeth Tapia Wong, Peter Y. H. Univ Complutense Madrid DSIC Madrid Spain CWI Amsterdam Netherlands Tech Univ Darmstadt Darmstadt Germany Univ Oslo Dept Informat Oslo Norway SDL Fredhopper Amsterdam Netherlands

We demonstrate by a case study of an industrial distributed system how performance, resource consumption, and deployment on the cloud can be formally modeled and analyzed using the abstract behavioral specification language Real-Time ABS. These non-functional aspects of the system are integrated with an existing formal model of the functional system behavior, achieving a separation of concerns between the functional and non-functional aspects in the integrated model. The resource costs associated with execution in the system depend on the size of local data structures, which evolve over time;we derive corresponding worst-case cost estimations by static analysis techniques and integrate them into our resource-sensitive model. The model is further parameterized with respect to deployment scenarios which capture different application-level management policies for virtualized resources. The model is validated against the existing system's performance characteristics and used to simulate, analyze, and compare deployment scenarios on the cloud.

关键词： Virtualization Cloud computing Formal methods Abstract behavioral specification executable modeling Worst-case cost analysis Static analysis Hybrid validation

来源：评论

学校读者我要写书评

暂无评论

executable modeling for system of systems architecting: An Artificial Life Framework

Executable modeling for system of systems architecting: An A...

引用

2nd Annual IEEE Systems Conference

作者： Kilicay-Ergin, Nil Dagli, Cihan Engineering Management and Systems Engineering Department Missouri University of Science and Technology Rolla MO United States

ISBN: (纸本)9781424421497

There is a diversity of frameworks and methodologies for enabling architecture developments. Static representation frameworks provide a standardized way to communicate the architecture to stakeholders, hut do not provide means to analyze the system states and system behavior Therefore, there is a need to convert static representation frameworks to executable models. The aim of this paper is to present Artificial Life approaches as a methodology for understanding behavior of System of System. For this, an Artficial Life based framework for modeling System of Systems is presented the framework comprises cognitive architectures embedded in multi agent models Financial markets are selected as an analysis domain to demonstrate the framework since they are a good example of self-organizing systems that are norproprietary and exhibit emergence on a grand scale. From the Artificial Life Framework trader-based architectures are formulated as models to analyze system level behavior. The Artificial Life based framework provides a flexible way of modeling sub-systems of System of Systems and it captures the adaptive mid emergent behavior of the system

关键词： architecting frameworks executable modeling Artificial Life financial markets

来源：评论

学校读者我要写书评

暂无评论

Data flow analysis of UML action semantics for executable models

Data flow analysis of UML action semantics for executable mo...

引用

4th European Conference on Model Driven Architecture - Foundations and Applications

作者： Waheed, Tabinda Iqbal, Muhammad Zohaib Z. Malik, Zafar I. Natl Univ Sci & Technol Mil Coll Signals Dept Comp Sci Rawalpindi Pakistan International Islam Univ Dept Comp Sci Islamabad Pakistan Minist Educ Acad Educ & Planning Islamabad Pakistan

ISBN: (纸本)9783540690955

executable modeling allows the models to be executed and treated as prototype to determine the behavior of a system. These models use precise action languages to specify the algorithms and computational details required for, execution. These action languages are developed on the basis of UML action semantics metamodel that provides the abstract syntax. The use of a concrete action language makes a traditional model work like an executable one. The actions specified by the action language might involve variables and their data values that are useful to be analyzed in terms of data flow. In this paper, we provide data flow analysis (DFA) of the standard UML action semantics that can be used with executable models. The analysis provides a generic data flow at the abstract syntax level and allows a mapping to any of the action languages providing the concrete syntax. Our approach does not focus on a particular action language;therefore it can easily be applied to any concrete syntax. We apply the proposed approach to a case study and identify the data flow from executable UML state machine.

关键词： executable modeling executable UML data flow analysis action semantics

来源：评论

学校读者我要写书评

暂无评论

GemCell: A generic platform for modeling multi-cellular biological systems

引用

THEORETICAL COMPUTER SCIENCE 2008年第3期391卷 276-290页

作者： Amir-Kroll, Hila Sadot, Avital Cohen, Irun R. Harel, David Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel Weizmann Inst Sci Dept Immunol IL-76100 Rehovot Israel

The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although living organisms are composed of cells, actual genomic and proteomic data have not yet led to a satisfactory model of working cell in silico. We have set out to devise a user-friendly generic platform, GemCell, for Generic executable modeling of Cells, based on whole, functioning cells. Starting with the cell simplifies life, because all cells expresses essentially five generic types of behavior: replication, death, movement (including change of shape and adherence), export (secretion, signaling, etc.) and import (receiving signals, metabolites, phagocytosis, etc.). The details of these behaviors are specified in GemCell for particular kinds of cells as part of a database of biological specifics (the DBS), which specifies the cell properties and functions that depend on the cell's history, state, environment, etc. The DBS is designed in an intuitive fashion, so users are able to easily insert their data of interest. The generic part of GemCell, built using Statecharts, is a fully dynamic model of a cell, its interactions with the environment and its resulting behavior, individually and collectively. Model specificity emerges from the DBS, so that model execution is carried out by the statecharts executing with the aid of specific data extracted from the DBS dynamically. Our long term goal is for GemCell to serve as a broadly applicable platform for biological modeling and analysis, supporting user-friendly in silico experimentation, animation, discovery of emergent properties, and hypothesis testing, for a wide variety of biological systems. (C) 2007 Elsevier B.V. All rights reserved.

关键词： biological modeling intercellular behavior executable modeling complex systems statecharts

来源：评论

学校读者我要写书评

暂无评论

A practical approach to the modelling, visualising and executing of reactive systems

A practical approach to the modelling, visualising and execu...

引用

International Conference on Mixed Design of Integrated Circuits and Systems

作者： Kostrzewa, M. Kulakowski, K. AGH University of Science and Technology Poland

ISBN: (纸本)8392263219

Reliability (like recoverability and fault tolerance) has often been considered as a crucial quality aspect of the reactive system. In this way, the designer can put great attention and effort into increasing their reliability level. On the other hand, the growing popularity and massive usage these systems on various domains could be noticed. This phenomenon force activities that lead to the improvement of other aspects of this widely understood quality, such as functionality or usability, which are especially important for end users. More engagement and early feedback from the stakeholder is required. For rapid prototyping, testing and evaluation of the system, a new technique based on basic UML models and the Java Real Time platform is proposed.

关键词： executable modeling verification reactive systems real time java

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：