353,206 Hits in 8.1 sec

Motivation for a new formal framework for agent-oriented software engineering

R. Ahmad, S. Rahimi
2009 International Journal of Agent-Oriented Software Engineering  
We perform a survey of the available formal theories and tools for Multi-Agent Systems (MAS) and derive a strong motivation for a new formal framework to support AOSE.  ...  Agent frameworks with formal foundations have an important role to play in this scenario by allowing analysis based on a mathematical model.  ...  Specifying the behaviour of the autonomous agents requires a framework for intelligence or behavioural representation such as the BDI model.  ... 
doi:10.1504/ijaose.2009.023639 fatcat:rddv6ghxkfhxpm3m7ca3zv6hr4

Towards formally analyzed Cyber-Physical Systems [article]

Richárd Szabó, András Vörös
2021 arXiv   pre-print
The paradigm of model-driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model-driven design approach allows us to validate our system at design  ...  In addition to the infrastructure, we need to provide engineers a method to ensure system reliability at design time.  ...  models: A tool for describing the behaviour of reactive controllers is the statechart formalism.  ... 
arXiv:2108.12773v1 fatcat:go4u52tgdbfxzkrzh77gjv4dqu

Function of dynamic models in systems biology: linking structure to behaviour

Christian Knüpfer, Clemens Beckstein
2013 Journal of Biomedical Semantics  
The resulting conceptual framework for the function of models is an important first step towards a comprehensive formal representation of the functional knowledge involved in the modelling and simulation  ...  We use the presented conceptual framework for the function of dynamic models to review formal accounts for functional aspects of models in Systems Biology, such as checklists, ontologies, and formal languages  ...  Acknowledgements We acknowledge Johannes Kretzschmar, Uwe Krüger and Christian Schäufler for valuable discussions about the topic.  ... 
doi:10.1186/2041-1480-4-24 pmid:24103739 pmcid:PMC3853929 fatcat:wg555nfpvra4jny6iwr5c5u4na

A Framework for Critical Interactive System Formal Modelling and Analysis [chapter]

Ismaïl Mendil
2020 Lecture Notes in Computer Science  
It is a formal method for system-level modelling and analysis.  ...  It allows describing and verifying the system behaviour. Moreover, it addresses the lack of integration of domain-specific knowledge in HCI development at modelling level.  ... 
doi:10.1007/978-3-030-48077-6_36 fatcat:rmt5452mojbdzj437u4lfqaejy

Modeling Framework based on SysML and AltaRica Data Flow languages for developing models to support complex maintenance program quantification

T. Ruin, E. Levrat, B. Iung
2012 IFAC Proceedings Volumes  
Thus, this paper proposes a model driven framework based both on the use of SysML to model a system-of-interest subject to ageing and maintenance and on the use of formal language AltaRica Data Flow to  ...  of maintenance being effective and efficient is one of the top priorities for any industrial company.  ...  LANGUAGES PROPOSED FOR THE FRAMEWORK The use of a SysML-based framework for « static and interactional » modeling.  ... 
doi:10.3182/20121122-2-es-4026.00018 fatcat:7at743eihnhb5kec4ihvdpqj6a

A Design Complexity Evaluation Framework for Agent-Based System Engineering Methodologies [chapter]

Anthony Karageorgos, Nikolay Mehandjiev
2004 Lecture Notes in Computer Science  
An Evaluation Framework for ABS Design Complexity The proposed framework was inspired by attempts to discuss the issues involved in ABS design in a systematic manner [11] and it is based on similar work  ...  The framework is applied to a number of representative ABS engineering methodologies.  ...  For example, MESSAGE/UML allows modelling at levels 0 and level 1 but there is no formal description of the relations between the models of the two levels.  ... 
doi:10.1007/978-3-540-25946-6_17 fatcat:bliize33xvakblgxusfvm4xxmm

How to formalise the meaning of a bio-model: a case study

Christian Knüpfer, Clemens Beckstein, Peter Dittrich
2007 BMC Systems Biology  
Each level has an intrinsic and extrinsic facet. We illustrate our framework by sketching what must be considered for a formal semantics of two simple numerical models of the cell cycle.  ...  For both meaning sides of a bio-model three pragmatic meaning levels can be identified: (1) The mean-ing regarding the model as a whole accounts for its intention.  ... 
doi:10.1186/1752-0509-1-s1-p28 pmid:17567903 pmcid:PMC1904462 fatcat:sz3lli26x5at7gi57oxs35jcru

Evaluation of architecture design with CIMOSA

Arian J.R. Zwegers, Shu-Guei Fang, Henk-Jan Pels
1997 Computers in industry (Print)  
This paper evaluates the suitability of the CIMOSA modelling framework for the specification of control architectures for manufacturing systems.  ...  Dynamic constraints, which are used to non-deterministically specify system behaviour, can not be represented. In addition, the semantics of the formal model reveal some inconsistencies.  ...  Acknowledgements The authors would like to express their gratitude to the partners in ESPRIT project VOICE II (EP 6682), most notably to Traub, TPD-TNO, and FhG-  ... 
doi:10.1016/s0166-3615(97)00054-7 fatcat:doskglcqx5edrdlcki7n2cxlou

From Temporal Models to Property-Based Testing [article]

Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
2017 arXiv   pre-print
This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models.  ...  The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of formal methods: the core time-based constructs of a formal  ...  While specifying such systems, a precise formal model, i.e., a mathematical model at some level of abstraction, might be essential to eliminate ambiguity and to detect possible errors early in the software  ... 
arXiv:1705.10032v1 fatcat:jnj32covcfbupi4ddkhsleqlzm

Structure, function, and behaviour of computational models in systems biology

Christian Knüpfer, Clemens Beckstein, Peter Dittrich, Nicolas Novère
2013 BMC Systems Biology  
The proposed conceptual framework establishes a new methodology for modelling in Systems Biology and constitutes a basis for computer-aided collaborative research.  ...  Secondly, because it can be formalised, the framework is a solid foundation for any sort of computer support in bio-modelling.  ...  Acknowledgements We acknowledge financial support by the German Rosa Luxemburg  ... 
doi:10.1186/1752-0509-7-43 pmid:23721297 pmcid:PMC3716781 fatcat:xkqrltr4hraflix4fvxgofclmu

Frameworks: the future of formal software development?

Richard O Sinnott
1998 Computer Standards & Interfaces  
We show the limitations of this work with regard to the architecting of specifications and propose a new approach, based on frameworks.  ...  To highlight the approach we use the work currently being done in the TOSCA project in its development of a service creation and validation environment for telecommunication services.  ...  This can be at many levels of abstraction. It might be the case for example that certain objects that comprise a service are common to a collection (class) of similar services.  ... 
doi:10.1016/s0920-5489(98)00024-5 fatcat:hy53xycx3fevrizydre6risxgm

A Formal Model for the SCJ Level 2 Paradigm

Matt Luckcuck
2015 Zenodo  
Briefly, the work covers modelling the API of SCJ Level 2 and a mechanised translation strategy for transforming SCJ Level 2 programs into our formal model.  ...  Safety-Critical Java (SCJ) is the product of an international effort to provide a Java-based language for applications that must be certified using the avionics standard ED-12C/DO-178C at Level A, which  ...  Acknowledgements This work is funded by the hiJaC project, backed by the EPSRC grant EP/H017461/1.  ... 
doi:10.5281/zenodo.5120203 fatcat:rz4bwmh4p5fhtbj7yjl3lqmgma

Formal Evaluation of Persona Trustworthiness with EUSTACE [chapter]

Shamal Faily, David Power, Philip Armstrong, Ivan Fléchais
2013 Lecture Notes in Computer Science  
We present a framework for eliciting and specifying formal models of persona behaviour that a persona might, in certain circumstances, engage in.  ...  Personas are useful for considering how users of a system might behave, but problematic when accounting for hidden behaviours not obvious from their descriptions alone.  ...  Although usually used as a verification technique, Communicating Sequential Processes (CSP) [2] has also been used for modelling patterns of interaction at higher levels of abstraction.  ... 
doi:10.1007/978-3-642-38908-5_20 fatcat:2u3k6anrwrczhadyvf7ylxehfq

Guest Editorial: Special Issue on Model Checking in Requirements Engineering

Steve Easterbrook, Marsha Chechik
2002 Requirements Engineering  
Until the mid-1980s, when model checking was first introduced [1,2], formal verification research focused primarily on techniques for proving a program is correct against a formal specification.  ...  With its emphasis on partial verification using fully automated techniques, model checking has led to an interest in 'lightweight' formal techniques [4] that can be applied at different levels of abstraction  ...  We would like to thank all the authors who submitted papers to this special issue, and especially to the following people who gave their valuable time to provide us with detailed reviews:  ... 
doi:10.1007/s007660200017 fatcat:q2mffp33ing4ng3fht6cit5h2q

On Agent Modelling And System Simulation Of Self-Organisation

Martijn C. Schut, Nivea Ferreira-Schut
2009 ECMS 2009 Proceedings edited by J. Otamendi, A. Bargiela, J. L. Montes, L. M. Doncel Pedrera  
We propose as the solution for the design-problem a framework that tackles the local (agent) level formally and the global (system) level empirically.  ...  This allows us to do rigorous formal verification of the behaviour of the individual agents, as well as large-scale empirical validation of the system as a whole.  ...  for the intelligence to emerge at the system level instead of at the agent level.  ... 
doi:10.7148/2009-0166-0172 dblp:conf/ecms/SchutF09 fatcat:xhwhbphc5zcpzpthkph4v4aliq
« Previous Showing results 1 — 15 out of 353,206 results