The main measure of the success of a software system is the degree to which it meets its
purpose. Therefore, identifying this purpose must be one of the main activities in the …

This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

The objective of this chapter is to give an overview of Tropos methodology. Tropos is based
on two key ideas. First, the notion of agent and related mentalistic notions, such as goals …

This paper describes version 2 of the NuSMV tool. NuSMV is a symbolic model checker
originated from the reengineering, reimplementation and extension of SMV, the original …

Our goal in this paper is to introduce and motivate a methodology, called Tropos, 1 for
building agent oriented software systems. Tropos is based on two key ideas. First, the notion …

Information systems of the future will have to perform well within ever-changing
organizational environments. Unfortunately, existing software development methodologies …

Performance measurement and analysis is crucial for steering the organization to realize its
strategic and operational goals. Relevant performance indicators and their relationships to …

Security issues for software systems ultimately concern relationships among social actors
stakeholders, system users, potential attackers-and the software acting on their behalf. We …

We present a framework that supports the formal verification of early requirements
specifications. The framework is based on Formal Tropos, a specification language that …

Tropos is a novel agent-oriented software development methodology founded on two key
features:(i) the notions of agent, goal, plan and other knowledge level concepts are used …