Abstract Ett nytt, formellt, rollbaserat ramverk för modellering och analys av både verkliga och artificiella organisationer introduceras. Det utnyttjar statiska och dynamiska egenskaper hos den organisatoriska modellen och inkluderar (ofta ignorerade) miljön. Övergången beskrivs från ett generiskt ramverk av en organisation till dess utplacerade modell och till den faktiska agentallokeringen. För kontroll och validering av den föreslagna modellen införs en uppsättning särskilda tekniker. Dessutom, där de flesta beräkningsmodeller kan hantera endast två eller tre skiktade organisatoriska strukturer, kan vårt ramverk hantera godtyckligt antal organisatoriska lager. Hädanefter kan verkliga organisationer modelleras och analyseras, vilket illustreras av en fallstudie, inom DEAL-projektlinjen.
I REF definieras en ram för modellering och tillhandahållande av en formell analys av organisationer, baserad på en allmän representation av dem med hjälp av en uppsättning roller.
A framework for formal modeling and analysis of organizations
{'venue': 'Applied Intelligence', 'journal': 'Applied Intelligence', 'mag_field_of_study': ['Computer Science']}