Note that for all of the model construction services the CRUDE pattern applies where CRUDE is defined as:
C: Create
R: Retrieve (or Query)
U: Update
D: Delete
E: Execute (implies an executable model that is used to verify the completeness/correctness of the model under construction)
Model Construction Services
Login
Description: Provide user/process credentials, returns a pointer to the session.
Service Signature: SessionLink login (String userID, String password)
Concept Model Element: User, Role, AccessControl
References:
Assumption: The security (access control) context for the Model Construction services is contained in the “Session” created when the modeler authenticates themselves and initially accesses the model. The credentials for the modeler are associated with the “Session” and not included explicitly in the Model Construction services themselves. If an access violation occurs, it is assumed that an exception is raised and the modeler is notified that access is not available. The credentials and access control rules are determined by each organization or project.
Description: Create a model element from a list of parameters, returns a UID (Unique id) of the new model element or null (for invalid element) (AttrValList is a comma separated value list of all of the model elements property names, property types and associated values)
Concept Model Element: Many from full list of structural, behavioral, requirements, parametrics, relationships
References:
Create Model Variant
Description: Create a model variant of a model element, returns a UID (Unique id) of the new model variant or null (for invalid pattern)
Service Signature: UID createModelVariant( String modelTypeName, String modelUID)
Concept Model Element: Concept of “variant” missing from the Concept model
References:
Create Model Pattern
Description: Create a model pattern from a list of model elements, returns a UID (Unique id) of the new model pattern or null (for invalid pattern) (AttrValList is a comma separated value list of all of the model elements property names, property types and associated values)
Concept Model Element: Concept of “pattern” missing from the Concept model
References:
SelectModel Pattern
Description: Select a model pattern from a list of model patterns, returns a UID (Unique id) of the new model pattern or null (for invalid pattern) (AttrValList is a comma separated value list of all of the model pattern names)
Service Signature: UID selectModelPattern( String patternTypeName, String patternName, AttrValList propertyList)
References:
Delete Model Element
Description: Deletes the model element referenced by UID, returns true if deletion successful, or false if failed delete.
Service Signature: Boolean deteleModelElement( UID elementUID)
Concept Model Element:
References:
Delete Model Pattern
Description: Deletes the model pattern referenced by UID, returns true if deletion successful, or false if failed delete.
Service Signature: Boolean deteleModelPattern( UID elementUID)
Concept Model Element:
References:
Modify Model Element
Description: Modifies the referenced model element, returns true if modification successful, or false if failed modification.
Service Signature: Boolean modifyModelElement( UID elementUID, String propertyName, String propertyValue)
Concept Model Element:
References:
Modify Model Pattern
Description: Modifies the referenced model pattern, returns true if modification successful, or false if failed modification.
Service Signature: Boolean modifyModelPattern( UID elementUID, String patternName, String patternValue)
Concept Model Element:
References:
Create Model Elements from Table
Description: Creates a set of new model elements from a tabular listing of each model element, uses createModelElement service for each row an array of UIDs for each element created (null for invalid model elements) (table format is a CSV (comma separated value) formatted table
Service Signature: UID[] createModelFromTable (Table modelElementsTable)
Concept Model Element:
References:
Create Model Elements from Graphic
Description: Creates a set of model elements from a formatted graphic (e.g. MS Visio or PowerPoint) representation of the model elements, their properties and their annotated relationships whith each other.
Service Signature: UID[] createModelFromGraphic ( Graphic modelElementsGraphic)
Concept Model Element:
References:
Create Model Elements from Text
Description: Creates a set of model element from a textual description of the model elements (assumes a structured representation of the model element that can be parsed using natural language parsing rules to discover nouns, verbs, adjectives, adverbs, etc. that represent structural, behavioral, requirement and parametric descriptions of a systems model
Service Signature: UID[] createModelFromtext (String modelElementSpecification)
Concept Model Element:
References: 2012 Drechsler, 2015 Tao Yue
Link Model Elements from Graph
Description: Creates a set of model elements from a directed graph representation of the system model, returns a list of created model element UID's
Service Signature: UID[] createModelFromGraph(Graph modelElementGraph)
Concept Model Element:
References:
Create Validation Rule
Description: Create a validation rule for a set of model elements, returns a UID (Unique id) of the new rule or null (for invalid pattern) (RuleValList is a comma separated value list of all of the rule property types and associated values)
Service Signature: UID createValidationRule( String ruleTypeName, String ruleName, RuleValList ruleValueList)
Concept Model Element:
References:
DeleteValidation Rule
Description: Create a validation rule for a set of model elements, returns a UID (Unique id) of the new rule or null (for invalid pattern) (RuleValList is a comma separated value list of all of the rule property types and associated values)
Service Signature: Boolean deleteValidationRule( String ruleUID)
Concept Model Element:
References:
UpdateValidation Rule
Description: Update a validation rule, returns a UID (Unique id) of the updated rule or null (for invalid pattern) (RuleValList is a comma separated value list of all of the rule property types and associated values)
Service Signature: UID updateValidationRule( String ruleUID, RuleValList ruleValueList)
Concept Model Element:
References:
Execute Validation Rule
Description: Execute a validation rule , returns a Boolean indicated 1 success, 0 failure of the execution)
Service Signature: Boolean executeValidationRule( String ruleUID )
Concept Model Element:
References:
Create Viewpoint/View
Description: Create a new Viewpoint/View , returns a Boolean indicated 1 success, 0 failure of the execution)
Description: Add queries and model element references to the View
Service Signature: viewpointUID createViewpoint( String viewpointName )
Service Signature: viewUID createView (UID viewpointUID, String viewName )
Service Signature: queryUID createViewQuery (UID viewUID, String query )
Service Signature: Boolean addModeltoView (UID modelUID, String viewName)
Concept Model Element: None defined for View, Viewpoint or Query