-
Notifications
You must be signed in to change notification settings - Fork 24
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
12 changed files
with
267 additions
and
1,292 deletions.
There are no files selected for viewing
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
Binary file not shown.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Binary file not shown.
71 changes: 40 additions & 31 deletions
71
sysml/src/examples/Arrowhead Framework Example/AHFCoreLib.sysml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,31 +1,40 @@ | ||
/** Mandatory Services and Systems */ | ||
package AHFCoreLib { | ||
import AHFProfileLib::*; | ||
import ScalarValues::*; | ||
|
||
port def ServiceDiscovery :> SD{ | ||
// The functionalities as Requests (Operations) cannot be defined yet | ||
// We could consider using flows to designate the functionalities | ||
} | ||
|
||
port def Authorize :> SD{ | ||
publickey:String; // just as examples | ||
} | ||
|
||
part def ArrowheadCore_SoSDD :> LocalCloud_SoSDD{ | ||
part def ServiceRegistry :> SysDD { | ||
port serviceDiscovery:ServiceDiscovery subsets services; | ||
action ServiceRegistration subsets ServiceMethod; | ||
} | ||
|
||
part def Authorization :> SysDD { | ||
port autorize:Authorize subsets services; | ||
} | ||
|
||
part def Orchestration :> SysDD; // short for now | ||
|
||
part service_registry:ServiceRegistry subsets systems; | ||
part authorization:Authorization subsets systems; | ||
part orchestration:Orchestration subsets systems; | ||
} | ||
} | ||
/** Mandatory Services and Systems */ | ||
package AHFCoreLib { | ||
import AHFProfileLib::*; | ||
import ScalarValues::*; | ||
|
||
port def ServiceDiscovery :> SD{ | ||
// The functionalities as Requests (Operations) cannot be defined yet | ||
// We could consider using flows to designate the functionalities | ||
} | ||
|
||
port def Authorisation :> SD{ | ||
attribute publickey:String; // just as examples | ||
} | ||
|
||
part def ArrowheadCore :> LocalCloud{ | ||
/* First the system definitions (SysD) of core systems */ | ||
part def ServiceRegistry :> SysD { | ||
port serviceDiscovery:ServiceDiscovery subsets services; | ||
} | ||
|
||
part def Authorization :> SysD { | ||
port authorisation:Authorisation subsets services; | ||
} | ||
|
||
part def Orchestration :> SysD; // just indicated for now | ||
|
||
part service_registry:ServiceRegistry subsets systems; | ||
part authorization:Authorization subsets systems; | ||
part orchestration:Orchestration subsets systems; | ||
|
||
/* Then we include an example of SysDD specializations wrt protocol */ | ||
part def Authorization_HTTP :> Authorization, SysDD{ | ||
action Echo_behavior subsets ServiceMethod; | ||
} | ||
|
||
port def Authorisation_HTTP :> Authorisation, IDD{ | ||
protocol:String = "HTTP"; | ||
} | ||
} | ||
} |
109 changes: 0 additions & 109 deletions
109
sysml/src/examples/Arrowhead Framework Example/AHFNorwayAppSystem.sysml
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.