Computer Languages最新文献

State inference for dynamically changing interfaces 动态改变接口的状态推断

Computer Languages Pub Date : 2001-12-01 DOI: 10.1016/S0096-0551(01)00019-4

Franz Puntigam

引用次数: 14

LAILA: a language for coordinating abductive reasoning among logic agents LAILA:一种在逻辑代理之间协调溯因推理的语言

Computer Languages Pub Date : 2001-12-01 DOI: 10.1016/S0096-0551(01)00020-0

Anna Ciampolini , Evelina Lamma , Paola Mello , Paolo Torroni

{"title":"LAILA: a language for coordinating abductive reasoning among logic agents","authors":"Anna Ciampolini , Evelina Lamma , Paola Mello , Paolo Torroni","doi":"10.1016/S0096-0551(01)00020-0","DOIUrl":"10.1016/S0096-0551(01)00020-0","url":null,"abstract":"<div><p>The last decade has seen the advent of the agent paradigm as a reference model in several fields of research, mainly but not limited to artificial intelligence and distributed systems. In open and distributed environments, where most facts are not known at all, the agent metaphor proves particularly useful if agents are able to autonomously perform some form of reasoning, possibly obviating knowledge incompleteness by means of hypotheses assumed on the unknown facts. A suitable mechanism to deal with incomplete and multiple knowledge is abductive reasoning.</p><p>The aim of this paper is to describe LAILA, a language that can be used by logic-based agents capable of abductive reasoning, by enabling them to express at a high level several ways to join and coordinate with one another. In particular, we considered collaboration and competition as possible interaction patterns in the abductive reasoning that must be carried out by multiple agents. Syntax and operational semantics of the LAILA language are given along with a clarifying example; a section is also devoted to a brief description of the current LAILA implementation.</p></div>","PeriodicalId":100315,"journal":{"name":"Computer Languages","volume":"27 4","pages":"Pages 137-161"},"PeriodicalIF":0.0,"publicationDate":"2001-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0096-0551(01)00020-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88916826","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 22

Index to Volume 27, 2001 2001年第27卷索引

Computer Languages Pub Date : 2001-12-01 DOI: 10.1016/S0096-0551(02)00003-6

引用次数: 0

Visualising business processes 可视化业务流程

Computer Languages Pub Date : 2001-04-01 DOI: 10.1016/S0096-0551(01)00015-7

Paul Oude Luttighuis , Marc Lankhorst , Rob van de Wetering , René Bal , Harmen van den Berg

引用次数: 26

Object-oriented modelling and specification using SHE 使用SHE的面向对象建模和规范

Computer Languages Pub Date : 2001-04-01 DOI: 10.1016/S0096-0551(01)00014-5

M.C.W. Geilen , J.P.M. Voeten , P.H.A. van der Putten , L.J. van Bokhoven , M.P.J. Stevens

{"title":"Object-oriented modelling and specification using SHE","authors":"M.C.W. Geilen , J.P.M. Voeten , P.H.A. van der Putten , L.J. van Bokhoven , M.P.J. Stevens","doi":"10.1016/S0096-0551(01)00014-5","DOIUrl":"10.1016/S0096-0551(01)00014-5","url":null,"abstract":"<div><p>Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system-level languages towards specification and design. The (formal) system-level modelling language called POOSL is very expressive and is able to model dynamic hard real-time behaviour and to (visually) capture static (architecture and topology) structure in an object-oriented fashion. The language integrates a process part, based on the process algebra CCS, with a data part, based on the concepts of traditional object-oriented programming languages and it is equipped with a formal semantics. Currently, a number of automated software tools (model editing, simulator and compiler tools) are available in an environment called SHESim. These tools allow visual entry of structure and topology of the system, whereas dynamic behaviour of individual processes is expressed in an expressive imperative language. The formal semantics of POOSL provides a solid basis for the application of verification and performance analysis techniques and establishing a rigorous connection to existing analysis tools.</p></div>","PeriodicalId":100315,"journal":{"name":"Computer Languages","volume":"27 1","pages":"Pages 19-38"},"PeriodicalIF":0.0,"publicationDate":"2001-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0096-0551(01)00014-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88237898","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 51

Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering MSC自动合成SDL及其在正反向工程中的应用

Computer Languages Pub Date : 2001-04-01 DOI: 10.1016/S0096-0551(01)00018-2

Nikolai Mansurov

引用次数: 7

Introduction by the guest editor 特邀编辑介绍

Computer Languages Pub Date : 2001-04-01 DOI: 10.1016/S0096-0551(01)00012-1

Sjouke Mauw

引用次数: 0

Languages for formalizing, visualizing and verifying software architectures 用于形式化、可视化和验证软件架构的语言

Computer Languages Pub Date : 2001-04-01 DOI: 10.1016/S0096-0551(01)00013-3

Rob van Ommering , René Krikhaar , Loe Feijs

引用次数: 20

Visual temporal logic as a rapid prototyping tool 作为快速原型工具的可视化时间逻辑

Computer Languages Pub Date : 2001-04-01 DOI: 10.1016/S0096-0551(01)00017-0

Martin Fränzle , Karsten Lüth

引用次数: 7

Argos: an automaton-based synchronous language Argos:基于自动化的同步语言

Computer Languages Pub Date : 2001-04-01 DOI: 10.1016/S0096-0551(01)00016-9

Florence Maraninchi , Yann Rémond

{"title":"Argos: an automaton-based synchronous language","authors":"Florence Maraninchi , Yann Rémond","doi":"10.1016/S0096-0551(01)00016-9","DOIUrl":"10.1016/S0096-0551(01)00016-9","url":null,"abstract":"<div><p>Argos belongs to the family of <em>synchronous languages</em>, designed for programming reactive systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming Languages, Munich, 1987; Proc. IEEE 79(9) (1999) 1305), Esterel (Sci. Comput. Programming 19(2) (1992) 87), Signal (Technical Report, IRISA Report 246, IRISA, Rennes, France, 1985). Argos is a set of operators that allow to combine Boolean Mealy machines, in a compositional way. It takes its origin in Statecharts (Sci. Comput. Programming 8 (1987) 231), but with the Argos operators, one can build only a subset of Statecharts, roughly those that do not make use of multi-level arrows. We explain the main motivations for the definition of Argos, and the main differences with Statecharts and their numerous semantics. We define the set of operators, give them a perfectly synchronous semantics in the sense of Esterel, and prove that it is compositional, with respect to the trace equivalence of Boolean Mealy machines.</p><p>We give an overview of the work related to the definition and implementation of Argos (code generation, connection to verification tools, introduction of non-determinism, etc.). This paper also gives a set of guidelines for building an automaton-based, Statechart-like, yet perfectly synchronous, language.</p></div>","PeriodicalId":100315,"journal":{"name":"Computer Languages","volume":"27 1","pages":"Pages 61-92"},"PeriodicalIF":0.0,"publicationDate":"2001-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0096-0551(01)00016-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75342958","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 122