Seite - 387 - in Intelligent Environments 2019 - Workshop Proceedings of the 15th International Conference on Intelligent Environments

16. Sharpanskykh, A., Treur, J., 2006. Modeling of agent behavior using behavioral specifications. Vrije Universiteit Amsterdam. The Netherlands. Technical Report 06-02ASRAI, February. 17. Bosse, T., Jonker, C. M., Van der Meij, L., Sharpanskykh, A., & Treur, J. (2009). Specification and verification of dynamics in agent models. International Journal of Cooperative Information Systems, 18(01), 167-193. 18. Sharpanskykh, A., & Treur, J. (2010). A temporal trace language for formal modelling and analysis of agent systems. In Specification and verification of multi-agent systems (pp. 317-352). Springer, Boston, MA. Appendix A – Ontology Agents captured in the agent-based model AOS: Airline Operations Supervisor ACo: Aircraft Controller CCo: Crew Controller MS: Maintenance Services AE: Airport Engineer SS: Station Supervisor AMS: Aircraft Movement System CTS: Crew Tracking System FC: Flight Crew Domain Ontology – Logical Predicates: Internal states and communication activities of the agents Observation (A,I): Agent A observes information I from the world Belief (A, I): Agent A believes that information element I is true in the world Incoming_communication(A, C, I): Agent A receives message type C with content I Communicate_from_to(A, B, C, I): Agent A communicates to agent B message type C with content I Other predicates used in the considered scenario Disruption(DT,AC,AP): Describes a disruption of type DT, concerning aircraft with registration code AC, at airport AP Query(A, B, I): Query by agent A to agent B about Information I Query_disruption(DT,AC,AP): Query about disruption (DT,AC,AP) Flight_crew(AC): Flight crew of aircraft with registration code AC Reserve_aircraft(amount): To denote the number of reserve aircraft available Aircraft_available_for_swap(amount): Number of aircraft within the same type available for swap Crew_inbound_aircraft(amount): To denote the number of crew available from inbound flights Aircraft_problem(AS): Proposed solution to the aircraft problem Crew_problem(CS): Proposed solution to the crew problem extend_crew_hours(y/n): Possibility to extend crew hours (yes/no) Check_disruption(DT,AC,AP): Checking information reliability about a disruption of type DT, concerning aircraft with registration code AC, at airport AP Disruption(t/f): Confirmation whether there is a disruption or not by local agents Conf_call(O,D,A,B,…,N): Conference call organized by agent O about a certain disruption D with N+1 participants in alphabetical order. Early_serviceability(AC,DT,AP): Request for earlier serviceability for aircraft AC with problem DT at airport AP early_serviceability(AC,DT,AP,y/n): Possibility for earlier serviceability of aircraft AC with problem DT at airport AP (yes/no) Start_conf_call(O,D,A,B,…,N): Start of conference call End_conf_call(O,D,A,B,…,N): End of conference call Transmit_construal(DT,AC,AP,RT,F): Transmitting construal of the meaning of the signal back to the sender Construal(DT,AC,AP,RT,F): Content of a signal being sent Exit_reporting(DT,AC,AP,RT,F): Signal of exiting a coordination phase (reporting) about a certain type of disruption with various attributes Start_aircraft_problem_solving(DT,AC,AP,RT,F): Signal of starting a new coordination phase (solving crew problem) for a certain type of disruption with various attributes Renew_compact(AS): Renewing the basic compact about a particular information element. crew_day_off(AP,y/n): Possibility to use crew with day off at airport AP Verify_disruption(DT,AC,AP,RT,F): Verifiying a certain disruption with different attributes integrated_solution(s): Integrated disruption management solution s vote_for(s, z): Vote result for s (approval or rejection) S.Bouarfaetal. /AMulti-AgentNegotiationApproach forAirlineOperationControl 387