Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular
  Systems Security   Agent technology is a software paradigm that permits to implement large and
complex distributed applications. In order to assist the development of
multi-agent systems, agent-oriented methodologies (AOM) have been created in
the last years to support modeling more and more complex applications in many
different domains. By defining in a non-ambiguous way concepts used in a
specific domain, Meta modeling may represent a step towards such
interoperability. In the Transport domain, this paper propose an agent-oriented
meta-model that provides rigorous concepts for conducting transportation system
problem modeling. The aim is to allow analysts to produce a transportation
system model that precisely captures the knowledge of an organization so that
an agent-oriented requirements specification of the system-to-be and its
operational corporate environment can be derived from it. To this end, we
extend and adapt an existing meta-model, Extended Gaia, to build a meta-model
and an adequate model for transportation problems. Our new agent-oriented
meta-model aims to allow the analyst to model and specify any transportation
system as a multi-agent system. Based on the proposed meta-model, we proposes
an approach for modeling and evaluating the Transportation System based on
Stochastic Activity Network (SAN) components. The proposed process is based on
seven steps from Recognition phase to Quantitative Analysis phase. These
analyzes are based on the Dependability models which are built using the
formalism Stochastic Activity Network. A real case study of Urban Public
Transportation System has been conducted to show the benefits of the approach.

37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th