javagraphdatasocial networkgithubmachine learningdatabaseandroidlintcjvmcloud computingformal methodBIPcomponentscoordinationarchitecturespNetsSMTreal-timestateJavaBIPLogic ReasoningKnowledge RepresentationData ManagementExplanationsSecurity of Data