In this paper we explore goal-oriented requirements engineering (GORE) as a means to address stakeholder-related issues in the enterprise architecting process. We elaborate on a recent literature analysis on enterprise architecting issues. We refine this literature analysis results by identifying problem areas that we consider solvable by increasing the focus on the stakeholders in EA. We devel...

Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has been given to systematically understanding and modeling the relationships between business goals and system qualities, and how these goals are met during architectural design. In particular, modeling must encompass changes ...

To express knowledge and communication in multi-agents systems, a hybrid of possible-worlds and game-theoretic semantics is defined for the language of independence-friendly (IF) first-order epistemic logic. The language distinguishes between specific and non-specific knowledge by hiding worlds. Identification on stratified domains is via imperfect information that agrees with cross-world refer...

In intentional agents, actions are derived from the mental attitudes and their relationships. In particular, preferences (positive desires) and restrictions (negative desires) are important proactive attitudes which guide agents to intentions and eventually to actions. In this paper, we present a general logical framework to represent and reasoning about gradual notions of desires and intention...

Working Memory (WM) plays a crucial role in many high-level cognitive processes (e.g., reasoning, decision making, goal pursuit and cognitive control). The prevalent view holds that active components of WM are predominantly intentional and conscious. This conception is oftentimes expressed explicitly, but it is best reflected in the nature of major WM tasks: All of them are blatantly explicit. ...

We sketch the outlines of a dialogue model using discourse obligations in a formal framework of information states. We propose a set of practical inference rules which incrementally update information states and assign intentional structures to sequences of dialogue moves. In this way we show that an obligation-driven approach can account for a wide range of phenomena which are assumed to be cr...

There are two elementary building blocks whose intimate relationship has been overlooked so far: The cortical column as ubiquitous local processor underlying all cognitive operations and the Bayesian framework with the generic operation of calculating posterior probabilities given likelihoods and prior probabilities. In this contribution we try to bridge this gap by providing a detailed mapping...

a 45-year-old prisoner violently inserted a 30 cm bottle into his rectum in the prison. he complained of lower abdominal fullness and inability to pass stool. his vital signs were stable and the abdominal examination did not reveal any peritoneal sign. multiple longitudinal ulcer like anal fissures were also remarkable in different positions of the anal wall extending to the rectum. attempts we...