检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Symmetric π-calculus

Journal of Computer Science & Technology 1998年第3期13卷 202-208页

作者：傅育熙 Department of Computer Science Shanghai Jiao Tong University Shanghai P.R. China

An alternative presentation of the π-calculus is given. This version of the π-calculus is symmetric in the sense that communications are symmetric and there is no dtherence between input and output prehxes. The point of the symmetric π-calculus is that it has no abstract names. The set of closed names is therefore homogeneous. The π-calculus can be fully embedded into the symmtric π-calculus. The symmetry changes the emphasis of the communication mechanism of the π-calculus and opens up possibility for further variations.

关键词： π-calculus bisimulation

Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 1999年第4期42卷 342-353页

作者：李舟军陈火旺王兵山 Department of Computer National University of Defense Technology Changsha China

Symbolic transition graph is proposed as an intuitive and compact semantic model for the π-calculus *** versions (strong/weak, ground/symbolic) of early operational semantics are given to such graphs. Based on them the corresponding versions of early bisimulation equivalences and observation congruence are defined. The notions of symbolic observation graph and symbolic congruence graph are also introduced, and followed by two theorems ensuring the elimination of τ-cycles and τ-edges. Finally algorithms for checking strong/weak early bisimulation equivalences and observation congruence are presented together with their correctness proofs. These results fuse and generalize the strong bisimulation checking algorithm for value-passing processes and the verification technique for weak bisimulation of pure-CCS to the finite control π-calculus.

关键词： π-calculus symbolic transition graph bisimulation observation congruence predicate equation system.

Petri nets semantics ofπ-calculus

在线全文

学校读者我要写书评

暂无评论

Frontiers of Electrical and Electronic Engineering in China 2008年第3期3卷 290-294页

作者： Zhenhua YU Yuanli CAI Haiping XU School of Electronic and Information Engineering Xi’an Jiaotong UniversityXi’an 710049China The 205th Institute of China Ordnance Industry Corporation Group Xi’an 710065China Department of Computer and Information Science University of Massachusetts DartmouthNorth DartmouthMA 02747USA

As π-calculus based on the interleaving semantics cannot depict the true concurrency and has few supporting tools,it is translated into Petri nets.π-calculus is divided into basic elements,sequence,concurrency,choice and recursive *** modules are translated into Petri nets to construct a complicated *** nets semantics for π-calculus visualize system structure as well as system *** structural analysis techniques allow direct qualitative analysis of the system properties on the structure of the ***,Petri nets semantics for π-calculus are illustrated by applying them to mobile telephone systems.

关键词： Petri nets π-calculus concurrency structual characteristics analysis

Analysis and modeling of web services flow using π-calculus

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Southeast University(English Edition) 2006年第3期22卷 315-318页

作者：何涛缪淮扣钱忠胜上海大学计算机工程与科学学院上海200072

In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.

关键词： business process execution language (BPEL) web services work flow π-calculus

Threat-Based Declassification and Endorsement for Mobile Computing

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2019年第5期28卷 1041-1052页

作者： YIN Lihua GUO Yunchuan ZHANG Huibing HUANG Wenting FANG Binxing Cyberspace Institute of Advanced Technology Guangzhou University The State Key Laboratory of Information Security Institute of Information Engineering CAS Guangxi Key Lab of Trusted Software Guilin University of Electronic Technology The National Computer Network Emergency Response Technical Team/Coordination Center of China

Declassification and endorsement can efficiently improve the usability of mobile ***, both declassify and endorse operations in practice are often ad-hoc and nondeterministic, thus, being insecure. From a new perspective of threat assessments,we propose the Threat-based typed security π-calculus(πTBTS) to model declassification and endorsement in mobile computing. Intuitively, when relaxing confidentiality policies and/or integrity policies, we respectively assess threats brought by performing these two relaxes. If these threats are acceptable, the declassification and/or endorsement operations are permitted; Otherwise, they are denied. The proposed assessments have explicit security conditions, results and less open parameters,so our approach solves the problem of the ad-hoc and nondeterministic semantics and builds a bridge between threat assessments and declassification/endorsement.

关键词： Declassification Endorsement Threat assessment Mobile computing π-calculus

A Formal Semantics for DAI Language NUML

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 1995年第3期10卷 227-238页

作者：许满武陆剑锋曾凡聪戴劲雯 Department of Computer Science & Technology Nanjing University Nanjing

Traditional AI systems are brittle in the sense that they fail miserably whenpresented with problems even slightly outside of their limited range of expertise.A powerful, extensible strategy of Distributed Artificial Intelligence (DAI) forovercoming such bounds is to put the system in a society of systems. So theability to coordinate group activities of individuals and to communicate betweeneach other is necessary for a language describing DAI systems. Agent-orientedlanguage NUML is such a language. It is a specific kind of object-orientedlanguage. To give formal semantics to NUML, there is the problem to for-malise object-oriented programming paradigm which is still open. The theoryof higher-order rr-calculus is a concurrent computation model with sufficientcapability, which provides us a mathematical tool to do the formalization. Thispaper tries to use higher-order T-calculus to formalise NUML.

关键词： Formal semantics π-calculus logic programming distributed AI

Process View of Reflection Mechanism for Reuse Software Architecture

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2007年第3期12卷 431-436页

作者： LIANG Zaoqing YING Shi XIE Dan JIA Xiangyang State Key Laboratory of Sottware Engineering Wuhan University Wuhan 430072 Hubei China School of Computer Wuhan University Wuhan 430072Hubei China

Reflection mechanism for reuse software architecture （RMRSA） divides a software architecture into base-level architecture and meta-level architecture logically. Base-level architecture is the ordinary architecture; meta-level represents and manipulates the reusable meta-information of base-level architecture explicitly. Through reflection, the modification of meta-level architecture will result in the modification of the architecture in base-level. Then we can gain a new base-level architecture design. In this paper, we use π-calculus to define the constituents and their interaction processes of RMRSA, by these definition, we specify the business function in base-level at runtime, and illustrate the reflection mechanism between the base-level architecture and meta-level architecture.

关键词： π-calculus reflection software architecture for reuse (RMRSA) process

Explainable Artificial Intelligence for Workflow Verification in Visual IoT/Robotics Programming Language Environment

在线全文

学校读者我要写书评

暂无评论

Journal of Artificial Intelligence and Technology 2021年第1期1卷 21-27页

作者： Gennaro De Luca Yinong Chen Arizona State University TempeAZ 85281 USA

Teaching students the concepts behind computational thinking is a difficult task,often gated by the inherent difficulty of programming *** the classroom,teaching assistants may be required to interact with students to help them learn the *** spent in grading and offering feedback on assignments removes from this time to help students *** such,we offer a framework for developing an explainable artificial intelligence that performs automated analysis of student code while offering feedback and partial *** creation of this system is dependent on three core *** components are a knowledge base,a set of conditions to be analyzed,and a formal set of inference *** this paper,we develop such a system for our own language by employing π-calculus and Hoare *** detailed system can also perform self-learning of *** solution files,the system is able to extract the important aspects of the program and develop feedback that explicitly details the errors students make when they veer away from these *** level of detail and expected precision can be easily modified through parameter tuning and variety in sample solutions.

关键词： explainable AI π-calculus VIPLE education

Describing Service-Oriented Architecture by Extended Darwin

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2005年第6期10卷 971-976页

作者： ZHANG Tao SHEN Mei-e YING Shi YE Peng LIANG Zao-qing State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 Hubei China Computer Department Beijing Information Technology Institute Beijing 100101 China School of Computer Science Wuhan University of Science and Engineering Wuhan 430074 Hubei China

Describing Service-Oriented Architecture （SOA） is critical in the development of Web based system, in this paper, an approach for describing SOA by extended Darwin is proposed. The requirements for describing SOA, which are different from that of ordinary architecture, are highlighted firstly, and then a solution for extending Darwin is presented. Using the extended Darwin, service components and connectors can be described explicit by the extended construct, as well as precise operational semantics of SOA by the π-calculus. Finally an example of supply-chain management system is given for manifesting the effect of the extended Darwin.

关键词： software architecture service-oriented architecture Darwin π-calculus