Abstract :
The following topics are dealt with: advanced information systems; enterprises; meta-modeling system; behavioral semantics handling; cloud platforms; distributed system modelling; distributed system verification; semantic interoperability and MAS development.
Keywords :
business data processing; cloud computing; formal verification; information systems; multi-agent systems; open systems; MAS development; advanced information systems; behavioral semantics handling; cloud platforms; distributed system modelling; distributed system verification; enterprises; meta-modeling system; semantic interoperability;
Conference_Titel :
Advanced Information Systems for Enterprises (IWAISE), 2012 Second International Workshop on
Conference_Location :
Constantine
Print_ISBN :
978-1-4673-4791-4
DOI :
10.1109/IWAISE.2012.1
