Modeling dynamic domains with ConGolog

机译：使用ConGolog对动态域建模

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects of actions in a dynamic domain are specified in a logical framework. This supports modeling even in the absence of complete information. The behavior of agents in the domain is specified in a concurrent process language, whose semantics is defined in the same logical framework. We then describe a simulation tool implemented in terms of logic programming technology. As well, we discuss a verification tool which is being developed based on theorem proving tecnology.

机译：在本文中，我们描述了流程规范语言ConGolog，并展示了如何将其用于为需求分析建模业务流程。在ConGolog中，在逻辑框架中指定了动态域中动作的效果。即使没有完整的信息，这也支持建模。域中代理的行为是用并发过程语言指定的，其语义是在同一逻辑框架中定义的。然后，我们描述根据逻辑编程技术实现的仿真工具。同样，我们讨论了基于定理证明技术开发的验证工具。

著录项

来源
《Advanced information systems engineering》|1999年|p.365-380|共16页
会议地点 Heidelberg(DE);Heidelberg(DE)
作者
Yves Lesperance; Todd G. Kelley; John Mylopoulos; Eric S. K. Yu;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Multidimensional Cosmological Models with Hydrodynamical Energy-momentum Tensor. Part I. Analysis of Dynamical Systems in Finite Domains [J] . M. Szydlowski, A. Lapeta, B. Lapeta Acta physica Polonica, B. Particle Physics and Field Theory, Nuclear Physics, Theory of Relativity . 1990,第8期

机译：具有水动力动量张量的多维宇宙学模型。第一部分有限域动力系统分析
2. Compact Modeling of Multidomain Ferroelectric FETs: Charge Trapping, Channel Percolation, and Nucleation-Growth Domain Dynamics [J] . Xiang Y., Bardon M. Garcia, Kaczer B., IEEE Transactions on Electron Devices . 2021,第4期

机译：多麦田铁电FET的紧凑型造型：电荷诱捕，通道渗透和成核 - 生长域动力学
3. On the Problem of Transient Hydrodynamic Instability of Nematics in the Magnetic Field. II: Linear Analysis of the Stability of Certain Models of Magnetohydrodynamic Domains [J] . Crystallography reports . 2020,第1期

机译：论磁场中线虫瞬态流体动力不稳定性的问题。 II：磁力流体域某些模型的稳定性线性分析
4. Modeling dynamic domains with ConGolog [C] . Yves Lesperance, Todd G. Kelley, John Mylopoulos, International conference on advanced information systems engineering . 1999

机译：用凝结的建模动态域
5. Modeling in Finance and Insurance with Levy-Itsigma Driven Dynamic Processes under Semi Markov-type Switching Regimes and Time Domains. [D] . Assonken Tonfack, Patrick Armand. 2017

机译：在半Markov型交换体制和时域下，使用Levy-Itsigma驱动的动态过程进行金融和保险建模。
6. Structural Models of Zebrafish (Danio rerio) NOD1 and NOD2 NACHT Domains Suggest Differential ATP Binding Orientations: Insights from Computational Modeling Docking and Molecular Dynamics Simulations [O] . Jitendra Maharana, Bikash Ranjan Sahoo, Aritra Bej, -1

机译：斑马鱼（Danio rerio）NOD1和NOD2 NACHT域的结构模型表明不同的ATP绑定方向：从计算建模对接和分子动力学模拟的见解。
7. Modeling Dynamic Domains with ConGolog [O] . Yves Lespérance, Todd G. Kelley, John Mylopoulos, 1999

机译：使用ConGolog建模动态域

Modeling dynamic domains with ConGolog

摘要

著录项

相似文献

相关主题

期刊订阅