dot15926 Software Presentation

. 15926 software - current state, applications and roadmap Victor Agroskin 07.06.2011

Few words about the project TechInvestLab.ru – Moscow-based strategy and IT consultancy Clients interested in ISO 15926 GK Rosatom (various companies in nuclear energy) OSK-Sudoexport (shipbuilding holding) INVEL (Electricity Generation Industry Association) Client-driven tool development - .15926 In search of a 15926-natural way to work with data

First Need – Multiformat Browsing ISO 15926-2 definitions from OWL files published at https://www.posccaesar.org/wiki/ISO15926inOWL ). Class and template definitions as specified in ISO 15926-8 draft POSC Caesar Association RDL (3 million triples) from https:// www.posccaesar.org/wiki/Rds С lass and template definitions in iRING Tools export format Instance data compliant to ISO 15926-8 draft or from iRING mapping process Dependencies Simple tree-dependencies Cross-reference ID bridge from RDS/WIP to PCA RDL bundled with the software

Tables ISO 15926 Data Table Loader .15926 Builder 15926-8 OWL Files iRING RDF Files PCA RDL File .15926 Browser 15926-2,7 OWL Definitions 15926-2 classes, relationships, individuals 15926-7 template definitions, template instances 15926-6 metadata Requirements Mapping

Requirements Modeling From text document to formal model Combination of Text Structure Model and Semantic Model for requirements Text Structure Model - “appearance” of requirements for human recognition Semantic Model – “meaning” of requirements for formal representation and verification by computer systems ISO 15926 data model as basis for combined representation Preparation of modeling tools Table domain-specific language for engineers – Gellish inspired Mapping domain-specific language – Turing-complete, Python code

Properties – Table DSL TR-123.2.2 250 kPa 250 kPa maximum allowable pressure pressure Tank with maximum allowable pressure 250 kPa Source Property Max Property Min Indirect Property Name Property Name Class Name

Properties – Mapping DSL class_id = r.known('Class Name', ids) prop = r.known('Property Name', ids) ind_prop = r.known_or_empty('Indirect Property Name', ids) vmin = r.nonempty('Property Min') vmax = r.nonempty('Property Max') source = r.nonempty('Source') pr_min = ids.get(vmin, None) if pr_min is None: pr_min = part2.Property(label=vmin) ids[vmin] = pr_min pr_max = ids.get(vmax, None) if pr_max is None: pr_max = part2.Property(label=vmax) ids[vmax] = pr_max rng = part2.PropertyRange(annSource=source) p7tpl.Specialization(rng, prop, annSource=source) p7tpl.LowerUpperOfPropertyRange(rng, pr_min, pr_max, annSource=source) p7tpl.PropertyRangeRestrictionOfClass(class_id, ind_prop, rng)

Breakdown – Table DSL Life Cycle Stage Composition Life Cycle Utilisation Life Cycle Stage Composition Construction Commissioning Life Cycle Stage Composition Life Cycle Construction Life Cycle Stage Composition Life Cycle Design Breakdown Relationship Class Whole Class Name Class Name

Breakdown – Mapping DSL class_id = r.known('Class Name', ids) whole_class = r.known('Whole Class Name', ids) rel_class = r.known_or_empty('Breakdown Relationship Class', ids) class_class = r.known_or_empty('Class of Breakdown Classes', ids) source = r.nonempty('Source') rel_id = part2.ClassOfCompositionOfIndividual(hasClassOfPart=class_id, hasClassOfWhole=whole_class, annSource=source) if rel_class: p7tpl.ClassificationOfRelationship(rel_id, rel_class, annSource=source) if class_class: p7tpl.ClassificationOfClass(class_id, class_class, annSource=source)

Requirements – Table DSL TR-123.2.1 (1:2) Reserve well has as part System 1 Mandatory TR-123.2.2 Tank with maximum allowable pressure 250 kPa is subclass of R5 Mandatory TR-123.1.2 SNIP-1234 complies to description in System 1 Typical Design Mandatory TR-123.1.1 (1:1) Hydraulic System Safety Analysis has as part System 1 Typical Design Mandatory Source Role 2 Cardinality Role 2 Relates to Role 1 Cardinality Role 1 Statement Classification

Requirements – Mapping DSL def R_has_as_part (self, role1, role2, role1c, role2c, source): rel_id = part2.ClassOfCompositionOfIndividual(hasClassOfPart=role1, hasClassOfWhole=role2, annSource= source) if role1c is not None: p7tpl.CardinalityEnd1MinMax(rel_id, role1c[0], role1c[1], annSource=source) if role2c is not None: p7tpl.CardinalityEnd2MinMax(rel_id, role2c[0], role2c[1], annSource=source) return rel_id def R_complies_to_description_in (self, role1, role2, role1c, role2c, source): pi = part2.PossibleIndividual(annSource=source) # can't use p7tpl.ClassificationOfIndividual, relationship must be returned ro further classification rel_id = part2.Classification(hasClassified=pi, hasClassifier=role2, annSource=source) p7tpl.Description(pi, role1, annSource=source) return rel_id

Roadmap Client-driven feature sets Open plug-in architecture Open source release – soon Python oriented – for foreseeable future Documentation – best efforts English language - mandatory

Tables ISO 15926 Data Table Loader .15926 Builder 15926-8 OWL iRING RDF Files PCA RDL File .15926 Editor 15926-2,7 OWL Definitions 15926-2 classes, relationships, individuals 15926-7 template definitions, template instances 15926-6 metadata 15926-7 template constructor Reqs. Mapping Mapping 2 Files 15926 -9 Facade

Tables ISO 15926 Data Table Loader .15926 Builder iRING RDF Files PCA RDL File .15926 Editor 15926-2,7 OWL Definitions 15926-2 classes, relationships, individuals 15926-7 template definitions, template instances 15926-6 metadata 15926-7 template constructor CAD Formats CAD Loader SQL SQL Loader 15926-8 OWL Files 15926 -9 Facade Template Expansion

Tables ISO 15926 Data Table Loader .15926 Builder iRING RDF Files PCA RDL File .15926 Editor 15926-2,7 OWL Definitions 15926-2 classes, relationships, individuals 15926-7 template definitions, template instances 15926-6 metadata 15926-7 template constructor CAD Formats CAD Loader SQL SQL Loader Table Writer .15926 Scanner CAD Writer SQL Writer 15926-8 OWL 15926 -9 Facade Files Template Expansion

Thank you! Download .15926 Browser from http://techinvestlab.ru/dot15926v04alpha4 and watch for new releases. Comments are welcome at: [email_address] http://community.livejournal.com/dot15926/ Victor Agroskin [email_address] Anatoly Levenchuk [email_address] TechInvestLab.ru +7 (495) 7 48-5388

dot15926 Software Presentation

More Related Content

What's hot (20)

Viewers also liked (7)

Similar to dot15926 Software Presentation (20)

More from Victor Agroskin (8)

Recently uploaded (20)

dot15926 Software Presentation