168,362 Hits in 11.4 sec

Modelling evolvable component systems: Part I: A logical framework

H. Barringer, D. Gabbay, D. Rydeheard
2009 Logic Journal of the IGPL  
We develop a logical modelling approach to describe evolvable computational systems.  ...  We model such systems in a revision-based first-order logical framework in which supervisors are modelled as theories which are at a logical meta-level to the theories of their components.  ...  Instead, we introduce logical structures which capture the component hierarchy of a system and also model the logical relationship between supervisors and supervisees within a system.  ... 
doi:10.1093/jigpal/jzp026 fatcat:g5wsz4iq4ngu7dwebglv7d4iqu

A Logical Framework for Systems Biology [chapter]

Elisabetta de Maria, Joëlle Despeyroux, Amy P. Felty
2014 Lecture Notes in Computer Science  
We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems and temporal properties of their dynamic behaviour.  ...  We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic.  ...  Our aim is to find the logical essence of biochemical reactions.  ... 
doi:10.1007/978-3-319-10398-3_10 fatcat:d7evjgpf2jbnldjouh3budpzuq

A Logical Framework for Systems Biology [article]

Elisabetta De Maria, Joelle Despeyroux, Amy Felty
2014 arXiv   pre-print
We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems and temporal properties of their dynamic behaviour.  ...  We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic.  ...  The second author thanks François Fages, Sylvain Soliman, Alessandra Carbone, Vincent Danos, and Jean Krivine for fruitful discussions on various preliminary versions of the HyLL logic in view of its potential  ... 
arXiv:1404.5439v1 fatcat:ozovyfxkize7vfhojwzd2rti7u

EFSMT: A Logical Framework for Cyber-Physical Systems [article]

Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem
2013 arXiv   pre-print
components, and synthesis for hybrid control systems.  ...  We address this challenge with EFSMT, the exists-forall quantified first-order fragment of propositional combinations over constraints (including nonlinear arithmetic), as the logical framework and foundation  ...  We have demonstrated, by means of reducing a variety of design problems, including the stability of control systems and orchestration of system components, that EFSMT is an adequate logical framework for  ... 
arXiv:1306.3456v1 fatcat:pnxnvy6kcff3xaitmcvp36fj3y

A Type-2 Fuzzy Logic Based Framework for Function Points

Anupama Kaushik, A.K. Soni, Rachna Soni
2013 International Journal of Intelligent Systems and Applications  
Accurate software estimation is very critical for a pro ject success. There are many software predict ion models and all of them utilize software size as a key factor to estimate effort.  ...  Evaluation experiments have shown the framework to be promising.  ...  A fuzzy complexity measurement system that takes into account all five Unadjusted Function Points function components is built after the fu zzy logic system for each function component is established as  ... 
doi:10.5815/ijisa.2013.03.08 fatcat:qi7q4iwfzrhnfpz7uoqpakwweq

A rewriting logic framework for operational semantics of membrane systems

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2007 Theoretical Computer Science  
In this paper we define an operational semantics of a basic class of P systems, and give two implementations of the operational semantics using rewriting logic.  ...  in a "biological way".  ...  In our case, the control part of a P system is different from that of a programming language.  ... 
doi:10.1016/j.tcs.2006.12.016 fatcat:ezucdylnm5eoloebsg4ahaqsw4

Hybridizing a Logical Framework

Jason Reed
2007 Electronical Notes in Theoretical Computer Science  
The logical framework LF is a constructive type theory of dependent functions that can elegantly encode many other logical systems.  ...  More importantly, it makes it possible to realize a metalogical framework capable of reasoning about stateful deductive systems encoded in the style familiar from prior work with LLF, taking advantage  ...  Abstract The logical framework LF is a constructive type theory of dependent functions that can elegantly encode many other logical systems.  ... 
doi:10.1016/j.entcs.2006.11.030 fatcat:uzgxb2zi5rdbhpzkfuojq5ccrq

A Logical Framework for Monitoring and Evolving Software Components

Howard Barringer, David Rydeheard, Dov Gabbay
2007 First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)  
We present a revision-based logical framework for modelling hierarchical assemblies of evolvable component systems.  ...  An evolvable component pair is itself a component so may have its own supervisor, or may be encapsulated as part of a larger component.  ...  systems in this logical framework, see [5] .  ... 
doi:10.1109/tase.2007.4 dblp:conf/tase/BarringerRG07 fatcat:wapf73nggrg3vkckpefha2e33i

A framework for specifying and verifying the behaviour of open systems

Andrea Bracciali, Antonio Brogi, Franco Turini
2005 The Journal of Logic and Algebraic Programming  
where components are going to be assembled into a system.  ...  Building on this, we propose a methodology for modeling and verifying behavioural aspects of open systems.  ...  , even if based on an event model and provided with temporal logic based analysis, cannot naturally express dynamically evolving system specifications.  ... 
doi:10.1016/j.jlap.2004.05.004 fatcat:dfpvdsdftndpflvzevf4qwmvge

WLIMES, the Wandering LIMES: Towards a Theoretical Framework for Wandering Logic Intelligence Memory Evolutive Systems [chapter]

Andrée C. Ehresmann, Plamen L. Simeonov
2012 Integral Biomathics  
This paper compares two complementary theories, Simeonov's Wandering Logic Intelligence and Ehresmann's & Vanbremeersch's Memory Evolutive Systems, in view of developing a common framework for the study  ...  of multiscale complex systems such as living systems.  ...  Introduction This paper is divided in 3 parts: (i) The first one gives a brief summary on the Wandering Logic Intelligence (WLI); a biology-inspired theoretical and practical framework for designing evolutionary  ... 
doi:10.1007/978-3-642-28111-2_11 fatcat:zn6mefda5bf7berzum6fabhski

A General Trace-Based Framework of Logical Causality [chapter]

Gregor Gössler, Daniel Le Métayer
2014 Lecture Notes in Computer Science  
In component-based safety-critical embedded systems it is crucial to determine the cause(s) of the violation of a safety property, be it to issue a precise alert or to determine liability of component  ...  In this paper we present an approach to blame components based on a single execution trace violating a safety property P .  ...  RR n°8378 hal-00873665, version 1 -16 Oct 2013 A General Trace-Based Framework of Logical Causality 11 5 Application to Synchronous Data Flow In this section we use the general framework to model a  ... 
doi:10.1007/978-3-319-07602-7_11 fatcat:g75o4cjwczcj3c5wz6hfrn7u5e

Towards a Logic-Based Unifying Framework for Computing [article]

Robert Kowalski, Fariba Sadri
2014 arXiv   pre-print
In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications.  ...  Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent's goals all true.  ...  Reactive systems An LPS framework <R, L, D> is essentially a reactive system in which logic programs L and causal theories D play a supporting role to reactive rules R.  ... 
arXiv:1301.6905v2 fatcat:ff3obn7povf2bn5zkvy4wxzqvm

A Logic-Based Framework for the Management of Changing Software Requirements

Umm-e-Habiba, Syed Mohtashim Abbas Bokhari, Muhammad Abbas
2015 Lecture Notes on Software Engineering  
Ultimate aim is to propose a framework to manage this important trait in the process of software development.  ...  Basically change is a transition from current way of working to another looked-for way and this nature of the change coupled with complexity of services create problems.  ...  Change request through a control board for change (CCB), to see effect of change on various components of the whole system.  ... 
doi:10.7763/lnse.2015.v3.203 fatcat:ltvl4uejcjboljhftbfxnd2bai

A Many-Valued Temporal Logic and Reasoning Framework for Decision Making [chapter]

Zhirui Lu, Jun Liu, Juan C. Augusto, Hui Wang
2010 Computational Intelligence in Complex Decision Systems  
Temporality and uncertainty are important features of real world systems where the state of a system evolves over time and the transition through states depends on uncertain conditions.  ...  In this chapter, we extend a previously proposed temporal reasoning framework to enable the management of uncertainty based on a many-valued logic.  ...  Consider a scenario where the task is to model a kitchen monitored by sensors in a Smart Home system.  ... 
doi:10.2991/978-94-91216-29-9_5 fatcat:dw4sz6dh4ndmflllh5ei5wvw3a

Rewriting Logic as a Framework for Generic Verification Tools

Martin Leucker, Thomas Noll
2000 Electronical Notes in Theoretical Computer Science  
More specifically, the syntax and semantics of the specification language has to be described in terms of Rewriting Logic, a unified semantic framework for concurrency.  ...  In this paper we propose to employ Rewriting Logic as a generic and uniform approach to support different specification languages for distributed systems in verification tools.  ...  To be more specific, from every part of a language definition like the one in Example 3.2 certain components of the Truth system are derived: • The ALGEBRA part induces a set of constructor symbols Σ which  ... 
doi:10.1016/s1571-0661(05)80123-9 fatcat:iegpmy6b5fcdpp26kngilrw3fe
« Previous Showing results 1 — 15 out of 168,362 results