Displaying similar documents to “Transformation of dynamic aspects of UML models into LOTOS behaviour expressions”

Thread algebra for noninterference

Thuy Duong Vu (2009)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program. 51 (2002) 125–156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property...

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

Amelia Bădică, Costin Bădică (2011)

International Journal of Applied Mathematics and Computer Science

Similarity:

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...

Reasons: belief support and goal dynamics.

Cristiano Castelfranchi (1996)

Mathware and Soft Computing

Similarity:

The paper is devoted to the structural relation between beliefs and goals. I discuss its importance in modelling cognitive agents; its origin in cognitive processing; its structure (belief structure relative to a goal); its crucial role in rationality, mediating between epistemic and pragmatic rationality; its role in goal Dynamics. I stress the crucial contribution of the supporting beliefs to the Processing of goals; to the Revision of goals (or Dynamics in a narrow sense), i.e. the...

Modeling of distributed objects computing design pattern combinations using a formal specification language

Toufik Taibi, David Ngo (2003)

International Journal of Applied Mathematics and Computer Science

Similarity:

Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined...