from utils import * from bigraph2xmi.models import Entity from bigraph2xmi.parser import parser from bigraph2xmi.xml_writer import make_xmi if __name__ == '__main__': cur_time = int((datetime.datetime.now() - datetime.datetime(1970, 1, 1)).total_seconds() * 1000) path = 'state/{0}'.format(cur_time) os.mkdir(path) random.seed(20161726) instance = generate_instance(config) random.seed(cur_time) assign_state(instance, state_config) with open('{0}/instance.json'.format(path), 'w') as f: json.dump(instance, f, indent=2) bigraph = dict_to_bigraph(instance) with open('{0}/instance.bi'.format(path), 'w') as f: f.write(bigraph) with open('{0}/instance.xmi'.format(path), 'w') as f: parser.parse(bigraph) f.write(make_xmi(Entity.instances)) gm = generate_goals(instance, goal_model, goal_config) assign_weight(gm) with open('{0}/goal.json'.format(path), 'w') as f: parser.parse(dict_to_bigraph(instance)) json.dump(gm, f, indent=2)
}, "movable": { "Roomba": random.randint(int(room_num * 0.1), int(room_num * 0.2)), "Agent": random.randint(int(room_num * 0.1), int(room_num * 0.2)), "Secretary": 1, "Server": 1 } } } with open('{0}/config.json'.format(path), 'w') as f: json.dump(conf, f, indent=2) instance = generate_instance(conf) assign_state(instance, state_config) with open('{0}/instance.json'.format(path), 'w') as f: json.dump(instance, f, indent=2) bigraph = dict_to_bigraph(instance) with open('{0}/instance.bi'.format(path), 'w') as f: f.write(bigraph) with open('{0}/instance.xmi'.format(path), 'w') as f: parser.parse(bigraph) f.write(str((make_xmi(Entity.instances)), encoding="utf8")) gm = generate_goals(instance, goal_model, goal_config) assign_weight(gm) with open('{0}/goal.json'.format(path), 'w') as f: parser.parse(dict_to_bigraph(instance)) json.dump(gm, f, indent=2)