javagraphdatasocial networkgithubmachine learningdatabaseandroidlintcjvmcloud computingformal methodBIPcomponentscoordinationarchitecturespNetsSMTreal-timestateJavaBIP