...
机译:使用Alvis语言从过程模型到并发系统
AGH University of Science and Technology,Department of Applied Computer Science,al. A. Mickiewicza 30,30-059 Krakow,Poland;
AGH University of Science and Technology,Department of Applied Computer Science,al. A. Mickiewicza 30,30-059 Krakow,Poland;
AGH University of Science and Technology,Department of Applied Computer Science,al. A. Mickiewicza 30,30-059 Krakow,Poland;
business process model verification; Alvis modelling language; concurrent model; formal verification; Business Process Model and Notation (BPMN);
机译:Alvis建模语言简介
机译:具有α〜0系统层的Alvis语言的形式描述
机译:介体:用于并发和分布式系统的基于组件的建模语言
机译:使用ALVIS建模和验证并发系统的实用方法
机译:具有并行处理的制造资源计划(MRP II):最佳建模和计算机化系统。
机译:受控词汇表索引编制和医学语言处理。医学语言处理:自然语言超声心动图报告的数据库捕获:统一医学语言系统方法
机译:使用aLVIs建模和验证并发系统的实用方法*