منابع مشابه
Translating Stochastic CLS into Maude
This paper describes preliminary results on the application of statistical model-checking to systems described with Stochastic CLS. Stochastic CLS is a formalism based on term rewriting that allows biomolecular systems to be described by taking into account their structure and by allowing very general events to be modelled. Statistical model-checking is an analysis technique that permits proper...
متن کاملTranslating into an Intermediate Agent Layer: A Prototype in Maude
This paper summarises how agent programming languages are be embedded into an intermediate agent layer called Agent Infrastructure Layer (AIL) that can be seen as a unifying framework for such languages. We discuss common concepts of the agent programming languages on which the AIL’s design is based and outline a translation of AgentSpeak programs into this intermediate layer. An executable pro...
متن کاملTranslating TROLL light Concepts to Maude
The speciication language TROLL light is designed for the conceptual modeling of information systems. Maude is a logic programming language, which uniies the two paradigms of functional and concurrent object-oriented programming. Because of the very similar features ooered by both languages, we present a translation from TROLL light concepts into the Maude language in order to compare the langu...
متن کاملIntegrating Maude into Hets
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lacks the formal tools to perform some of these analyses and thus they can only be done by hand. The Heterogeneous Tool Set Hets is an institution-based combination of different logics and corresponding rewriting, model ...
متن کاملA Type System for a Stochastic CLS
The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. We propose a type system for this calculus that models how the presence of catalysers and inhibitors can modify these speeds. We claim that types are the right abstraction in order to represent the interaction between elements ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.12.103