Integrating Validation Techniques for Process-based Models

被引：2

作者：

Speck, Andreas ^{[1
]}

Witt, Soeren ^{[1
]}

Feja, Sven ^{[1
]}

Feja, Soeren ^{[1
]}

Pulvermueller, Elke

机构：

[1] Univ Kiel, Inst Comp Sci, Kiel, Germany

来源：

ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING | 2013年

关键词：

Integration; Validation Techniques; (Business) Process Models; Behavioral Properties; Structural Properties; VERIFICATION; CHECKING;

D O I：

10.5220/0004568232463253

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Model checking has been established as an appropriate technology to validate behavioral properties of (business) process based systems. However, further validation technologies (e. g. for structural properties) may be of interest for process models. We propose a concept to integrate validation technologies in a unique system with a common user interface.

引用

页码：246 / 253

页数：8

共 50 条

[21] Automated Negotiation with Gaussian Process-based Utility Models
Leahu, Haralambie
Kaisers, Michael
Baarslag, Tim
PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 421 - 427
[22] Mapping flood inundation in Baro Akobo Basin, Itang area, Ethiopia: integrating machine learning and process-based models
Yonata Belina
Asfaw Kebede
Muthoni Masinde
Earth Science Informatics, 2025, 18 (1)
[23] Modelling the timing of Betula pubescens budburst. II. Integrating complex effects of photoperiod into process-based models
Caffarra, Amelia
Donnelly, Alison
Chuine, Isabelle
CLIMATE RESEARCH, 2011, 46 (02) : 159 - 170
[24] Modelling the spatiotemporal dynamics of cropland soil organic carbon by integrating process-based models differing in structures with machine learning
Zhang, Xiu
Xie, Enze
Chen, Jian
Peng, Yuxuan
Yan, Guojing
Zhao, Yongcun
JOURNAL OF SOILS AND SEDIMENTS, 2023, 23 (07) : 2816 - 2831
[25] Modelling the spatiotemporal dynamics of cropland soil organic carbon by integrating process-based models differing in structures with machine learning
Xiu Zhang
Enze Xie
Jian Chen
Yuxuan Peng
Guojing Yan
Yongcun Zhao
Journal of Soils and Sediments, 2023, 23 : 2816 - 2831
[26] Normalized Mahalanobis distance for comparing process-based stochastic models
Winter, C. L.
STOCHASTIC ENVIRONMENTAL RESEARCH AND RISK ASSESSMENT, 2010, 24 (06) : 917 - 923
[27] Tree Injury and Mortality in Fires: Developing Process-Based Models
Bret W. Butler
Matthew B. Dickinson
Fire Ecology, 2010, 6 : 55 - 79
[28] Object tracking via Dirichlet process-based appearance models
Almomani, Raed
Dong, Ming
Zhu, Dongxiao
NEURAL COMPUTING & APPLICATIONS, 2017, 28 (05): : 867 - 879
[29] Process-based models of feeding and prey selection in larval fish
Fiksen, O
MacKenzie, BR
MARINE ECOLOGY PROGRESS SERIES, 2002, 243 : 151 - 164
[30] Process-Based Crop Models in Soil Research: A Bibliometric Analysis
Wimalasiri, Eranga M.
Ariyachandra, Sachini
Jayawardhana, Aruna
Dharmasekara, Thejani
Jahanshiri, Ebrahim
Muttil, Nitin
Rathnayake, Upaka
SOIL SYSTEMS, 2023, 7 (02)

← 1 2 3 4 5 →