DISPAS is an agent-based simulator for fish stock assessment developed as a decision making support for the sustainable management of fishery. In this work we enlarge the underlying model of DISPAS allowing it to model and simulate a multi-scale scenario. We retain the currently available spatial scale, able to represent a limited average region of the sea, and we introduce a new spatial macro-scale, able to represent the whole sea. At the macro-scale a single agent represents an area of five square nautical miles and manages groups of fish in different age classes. The interactions among the macro agents permit the exchange of individuals of each class among neighbor areas. A case study regarding the Solea solea (Linnaeus, 1758; Soleidae) stock of the northern Adriatic Sea is used to show the intended approach, taking into account the available data, coming from fishery independent scientific surveys

The fish stock of the common sole in the Adriatic Sea has been analysed by agent-based modelling and simulation techniques as an integration of other classical stock assessment models. In this work we start investigating also about the formal probabilistic modelling of our case study in order to extract valuable biological information from available formal verification techniques. In particular, a PRISM model for the common sole is developed and some initial results are discussed