Formal framework for a generic combination of a process algebra with an algebraic specification language: an overview

2005 ◽  
Author(s):  
G. Salaun ◽  
M.A. Allemand ◽  
C. Attiogbe
Keyword(s):  
Process Algebra ◽  
Specification Language ◽  
Algebraic Specification ◽  
Formal Framework

Casl — the Common Algebraic Specification Language

2007 ◽  
pp. 241-298 ◽  
Author(s):  
Till Mossakowski ◽  
Anne E. Haxthausen ◽  
Donald Sannella ◽  
Andrezj Tarlecki
Keyword(s):  
Specification Language ◽  
Algebraic Specification ◽  
The Common

The algebraic specification language LOTOS: an industrial experience

1990 ◽  
Vol 15 (4) ◽  
pp. 59-66 ◽  
Author(s):  
Luigi Logrippo ◽  
Tim Melanchuk ◽  
Robert J. Du Wors
Keyword(s):  
Specification Language ◽  
Algebraic Specification ◽  
Industrial Experience

scholarly journals FSP and FLTL framework for specification and verification of middle-agents

2011 ◽  
Vol 21 (1) ◽  
pp. 9-25 ◽  
Author(s):  
Amelia Bădică ◽  
Costin Bădică
Keyword(s):  
Resource Sharing ◽  
Process Algebra ◽  
Software Systems ◽  
Special Focus ◽  
Agent Based ◽  
Interaction Protocols ◽  
Service Information ◽  
Formal Framework ◽  
Finite State ◽  
Specification And Verification

FSP and FLTL framework for specification and verification of middle-agents Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of requester with provider agents requires the use of specialized agents known as middle-agents. In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers, brokers and front-agents by formally modeling their interactions with requesters and providers. Our approach is based on capturing interaction protocols between requesters, providers and middle-agents as finite state processes represented using FSP process algebra. The resulting specifications are formally verifiable using FLTL temporal logic. The main results of this work include (i) precise specification of interaction protocols depending on the type of middle-agent (this can also be a basis for characterizing types of middle-agents), (ii) improvement of communication between designers and developers and facilitation of formal verification of agent systems, (iii) guided design and implementation of agent-based software systems that incorporate middle-agents.

Sign in / Sign up

Export Citation Format

Share Document