1. C. Huc/CNES, D. Boucon/CNES-SILOGIC Specification for the Formal Definition and Transfer Phase of a Producer-Archive Interface

2. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 2 Contents  Introduction Context Objectives General framework Example  General principles for implementing Formal Definition and Transfer Phases From Formal Phase to Transfer Phase Model of Objects to be Transferred (MOT) SIPs Sequencing constraints  Other steps  Conclusion

3. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 3 Introduction Context Community Methodologic Standard OAIS RM PAIMAS Generic Méthodologic Standard Specialisation rules Specification for Formal Definition/Transfer Phases Specialisation rules Effective specialisation Community Specification for Formal Definition/Transfer Phases Effective specialisation

4. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 4  Provide a standard method to formally define the digital information objects to be transferred by a Producer to an Archive effectively transfer these objects in the form of SIPs Introduction Objectives

5. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 5 Preliminary Phase Formal Definition Phase Transfer Phase Validation Phase Introduction General framework: PAIMAS Phases Initial contacts, feasibility study, draft of the SIPs, Preliminary Agreement Precise definition of the digital objects, SIP design, Submission Agreement Actual transfer of the SIPs Actual validation processing of the SIPs by the Archive and Required follow-up action with the Producer Organisational sub-phase Formal definition sub-phase Complete and precise definition of the data to be transferred and the way it is organised in the form of a SIP Complementary points (contractual and legal aspects, …) Submission Agreement implementing tests sub-phase performing the transfer sub-phase (technical means –XFDU …)

6. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 6 Preliminary Phase Formal Definition Phase Transfer Phase Validation Phase Introduction General framework: PAIMAS Phases Initial contacts, feasibility study, draft of the SIPs, Preliminary Agreement Precise definition of the digital objects, SIP design, Submission Agreement Actual transfer of the SIPs Actual validation processing of the SIPs by the Archive and Required follow-up action with the Producer Organisational sub-phase Formal definition sub-phase Complete and precise definition of the data to be transferred and the way they are organised in the form of a SIP Complementary points (contractual and legal aspects, …) Submission Agreement implementing tests sub-phase performing the transfer sub-phase (technical means –XFDU …)

7. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 7  How can we define an object (and have a sufficiently precise description without creating the objects)?  How can we define the organisation between the objects (« Model of Objects to be Transferred » )?  How can we define a complete packaging description for an object and a group of objects?  How can we adapt the general framework to the domain specificities and project needs?  How can we specify the constraints (granularity and sequencing) applying to these objects?  How can we have a unique visual representation of the objects to transfer and their constraints? Introduction General framework: needs to meet

8. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 8 Introduction Example WIND WAVES Experiment WIND WAVES TNR L2 Data set WIND WAVES TNR L2 Data (1..N) Complementary Data Objects EAST Description (1) Document (1) Space Physics domain WIND mission WAVES experiment WIND WAVES TNR L2 data set Complementary Data Objects: EAST syntactic descriptor Mission description document

9. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 9 Contents  Introduction Context Objectives General framework Example  General principles for implementing Formal Definition and Transfer Phases From Formal Phase to Transfer Phase Model of Objects to be Transferred (MOT) SIPs Sequencing constraints  Other steps  Conclusion

10. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 10 General principles From Formal Phase to Transfer Phase Formal Definition Phase Transfer Phase Model of Objects to be Transferred: SIPs definition Transferred Objects in SIPs MOT Descriptor Slip Object Description SIPs Type of Object Relations in the Model Transfer information Object

11. From Formal Phase to Transfer Phase Formal Definition Phase Transfer Phase Standard Archive Project Generic Descriptor Models Archive Project specific Descriptor Models Instantiated Descriptors MOT Generic Slip Models Archive Projet specific Slip Models Delivered SIPs Standard specialization for a Domain Domain Generic Descriptor Models Domain Generic Slip Models SIPs Definition Instantiated Slips Digital Objects

12. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 12 Model of Objects to be Transferred (MOT)  Gives a complete and overall view of all digital objects to be transferred: described by Descriptors. Descriptor : This is an information unit for describing a set of characteristics for a given Data Object. A Descriptor may come in the form of a model; in this case, it is used to identify the object category which can then be described as well as the attributes for this description. The Descriptor may have the state of an instance; in this case, it describes an object instance and supplies the attribute values defined in the Descriptor model. General principles Model of Objects to be Transferred: the Descriptors

13. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 13 Typology of information categories  Data Objects  Complementary Data Objects  Collections  Complementary Collections General principles Model of Objects to be Transferred

14. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 14 General principles Model of Objects to be Transferred Formal Definition Phase Transfer Phase Model of Objects to be Transferred: SIPs definition Transferred Objects in SIPs MOT Descriptor Slip Type of Object Relations in the Model Transfer information Object Description Object SIPs Data Objects, Complementary Data Objects Collections, Complementary Collections

15. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 15 General principles Model of Objects to be Transferred Formal Definition Phase Transfer Phase Transferred Objects in SIPs 4 Generic Descriptor Models MOT Descriptor Slip Type of Object Relations in the Model Transfer information Object Description Object SIPs Model of Objects to be Transferred: SIPs definition Data Objects, Complementary Data Objects Collections, Complementary Collections

16. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 16 General principles Model of Objects to be Transferred Name of the information object category Name of the corresponding Descriptor model Data ObjectDO_DESCRIPTOR Complementary Data ObjectCOMPLEMENTARY_DO_DESCRIPTOR CollectionCOLLECTION_DESCRIPTOR Complementary CollectionCOMPLEMENTARY_COLLECTION_ DESCRIPTOR

17. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 17  Descriptor Model : attributes (meaning, syntax, defined occurrence) for: –Identifying the type of object described. –Defining the relations between the object described and the other Model objects. –Describing the object content. –Giving a name to the Slip Model to be delivered. General principles Model of Objects to be Transferred: the Descriptors

18. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 18 General principles Model of Objects to be Transferred: the Descriptors DO_DESCRIPTOR Generic Model of a Data Object Descriptor AttributeMeaningAttribute occurrence DESCRIPTOR_IDIdentifier of Data Object Descriptor1..1 OBJECT_OCCURRENCENumber of Data Objects described by this DESCRIPTOR_ID 1..N LABELExtensive name of the Data Object1..1 PARENT_COLLECTIONIdentifier of Collection Descriptor to which this object belongs 1..1 CONTENTExplanatory text specifying the content and main characteristics of the object (e.g. magnetic field, etc.) 0..1 SIZEEstimated volume of an object and unit0..1 APPLICABLE_SLIPName of slip model to be applied1..1 DESCRIPTION_STANDARDEnumerated list (EAST, DED, etc.). Used to specify the data description standard to be applied. 0..N METADATA_MODELEnumerated list (XML Schema-name, etc). Used to specify the ‘catalogue’ data characterising the object: for instance in the form of an XML document specified by an XML Schema 0..N OBJECT_FORMATFormat of objects in the collection (PNG, PDF, CDF, Flat Binary, Flat ASCII, …) 0..1

19. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 19 General principles From Formal Phase to Transfer Phase Formal Definition Phase Transfer Phase Transferred Objects in SIPs DESCRIPTOR_ID OBJECT_OCCURRENCE LABEL PARENT_COLLECTION RELATION_DO_CDO CONTENT FORMAT SIZE METADA_MODEL APPLICABLE_SLIP SLIP_MODEL_ID 4 Generic Descriptor Models Descriptor Slip Type of Object Relations in the Model Transfer information Object Description Object Model of Objects to be Transferred: SIPs definition Data Objects, Complementary Data Objects Collections, Complementary Collections

20. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 20 General principles From Formal Phase to Transfer Phase Formal Definition Phase Transfer Phase Transferred Objects in SIPs 4 Specialised Descriptor Models MOT Descriptor Slip Type of Object Relations in the Model Transfer information Object Description Object Instantiated Descriptor Models Model of Objects to be Transferred: SIPs definition Data Objects, Complementary Data Objects Collections, Complementary Collections 4 Generic Descriptor Models

21. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 21 General principles Model of Objects to be Transferred: Descriptor Model specialisation Generic ModelDomain ModelProducer-Archive Project Model Addition of an attribute Elimination of an attribute Modification of existing attributes (content, occurrence, name of the attribute to adapt to the project terminology, syntax, …)

22. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 22 General principles Model of Objects to be Transferred: example DO_DESCRIPTOR Specialized Model of a Data Object Descriptor for Space Physics AttributeMeaningAttribute occurrence DESCRIPTOR_IDIdentifier of Data Object Descriptor1..1 OBJECT_OCCURRENCENumber of Data Objects described by this DESCRIPTOR_ID 1..N LABELExtensive name of the Data Object1..1 PARENT_COLLECTIONIdentifier of Collection Descriptor to which this object belongs 1..1 CONTENTExplanatory text specifying the content and main characteristics of the object (e.g. magnetic field, etc.) 0..1 SIZEEstimated volume of an object and unit1..1 APPLICABLE_SLIPName of slip model to be applied1..1 DESCRIPTION_STANDARDEnumerated list (EAST, DED, etc.). Used to specify the data description standard to be applied. 0..2 METADATA_MODELEnumerated list (XML Schema-name, etc). Used to specify the ‘catalogue’ data characterising the object: for instance in the form of an XML document specified by an XML Schema 1..1 OBJECT_FORMATFormat of objects in the collection (PNG, PDF, CDF, Flat Binary, Flat ASCII, …) 1..1

23. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 23  Most crucial task during the Formal Definition Phase  definition of the actual objects to be transferred: –Identifying all of the project data Collections, –Organising these Collections in a hierarchical tree structure, –Defining a Descriptor instance for each of the Collections, –Defining a Data Object Descriptor for the objects in each Collection, –… Building the MOT General principles Model of Objects to be Transferred: Descriptor instances

24. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 24 General principles Model of Objects to be Transferred: example Example of Descriptor instance for a level 2 Data Object of WAVES experiment on board WIND satellite (Space Physics) AttributeValue DESCRIPTOR_IDWIND_WAVES_TNR_L2_DATA OBJECT_OCCURRENCEN LABELDaily file of Thermal Noise receiver data of WAVES experiment, WIND mission PARENT_COLLECTIONWIND_WAVES_TNR_L2 CONTENTEach data file contains: - Date and time - data of the Automatic gain control - high resolution spectra for each frequency band observed. The unit used for the spectra is the microV2/Hz Each file covers one day of data from 0 to 24 hours. SIZE10..40 megabytes APPLICABLE_SLIPTNR_L2_DO DESCRIPTION_STANDARDEAST, DEDSL METADATA_MODELCDPP_DO.xsd OBJECT_FORMATFlat_binary

25. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 25 General principles Model of Objects to be Transferred: example ROOT WIND_WAVES WIND_WAVES_TNR_L2 METADATA_STANDARD = DIF WIND_WAVES_TNR_L2_DATA (N) METADATA_MODEL = CDPP_DO.xsd WIND_WAVES_CC EAST_DESCRIPTION (1)DOCUMENTATION (1) COLLECTION_ID COMPLEMENTARY_COLLECTION_ID COLLECTION_DESCRIPTOR COMPLEMENTARY_COLLECTION_DESCRIPTOR DO_DESCRIPTOR COMPLEMENTARY_DO_DESCRIPTOR Descriptors to be created during Formal Definition Phase

26. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 26 Slip: A Data Object that conveys information related to another Data Object which is transferred between two entities. This information will allow the addressee to identify, locate and if needed process the various transferred bit sequences which compose this Data Object.  The Slip is the packaging of the transferred Object.  The Slip is derived by a Model referenced by the APPLICABLE_SLIP (object Descriptors).  Several types of Slips depending on the type of the objects.  Slip Models are defined during the Formal Definition Phase and instantiated during the Transfer Phase. General principles Model of Objects to be Transferred: delivery Slip

27. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 27 General principles Model of Objects to be Transferred: delivery Slip Formal Definition Phase Transfer Phase Model of Objects to be Transferred: Data Objects, Complementary Data Objects Collections, Complementary Collections SIPs definition Transferred Objects in SIPs DESCRIPTOR_ID OBJECT_OCCURRENCE LABEL PARENT_COLLECTION RELATION_DO_CDO CONTENT FORMAT SIZE METADA_MODEL APPLICABLE_SLIP SLIP_MODEL_ID 4 Generic Descriptor Models Descriptor Slip Type of Object Relations in the Model Transfer information Object Description Object SIPs 1 Generic Slip Model

28. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 28 General principles Model of Objects to be Transferred: delivery Slip Name of information objects className of corresponding Slip Model Data ObjectTRANSFERRED_OBJECT_SLIP Complementary Data Object Collection Complementary Collection

29. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 29 General principles Model of Objects to be Transferred: delivery Slip TRANSFERRED_OBJECT_SLIP Generic Slip Model AttributeMeaningAttribute occurrence SLIP_MODEL_IDSlip type identifier. This attribute has a constant value in the model.1..1 OBJECT_IDObject identifier (Data Object, Complementary Data Object, Collections)1..1 DESCRIPTOR_IDIdentifier of the Object Descriptor to which the object refers. This attribute is used to locate this object in the MOT. 1..1 TRANSFERRED_DO_FILESData file(s) which make up this object. This attribute is of the TRANSFERRED_FILES_DESCRIPTION type. 0..N LAST_OBJECTIndicator specifying that it is the last object (among the Data Objects, Complementary Data Objects or Collections corresponding to the same MOT node). 0..1 TRANSFERRED_METADATA_FILESMetadata file(s) accompanying this object. This attribute is of the TRANSFERRED_FILES_DESCRIPTION type. 0..N

30. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 30 General principles Model of Objects to be Transferred: delivery Slip TRANSFERRED_FILES_DESCRIPTION Composite attribute for file transfer AttributeMeaningAttribute occurrence TRANSFERRED_FILEName of the file to be transferred1..N DO_EXTRACTION_SOFTWAREName of software used to reconstitute the Data Object from different files 0..1 DO_EXTERNAL_REFERENCEExternal reference of files constituting this Data Object if these files are not included during transfer but deposited in a shared space. 0..N

31. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 31 General principles From Formal Phase to Transfer Phase Formal Definition Phase Transfer Phase Model of Objects to be Transferred: Data Objects, Complementary Data Objects Collections, Complementary Collections SIPs definition Transferred Objects in SIPs DESCRIPTOR_ID OBJECT_OCCURRENCE LABEL PARENT_COLLECTION RELATION_DO_CDO CONTENT FORMAT SIZE METADA_MODEL APPLICABLE_SLIP SLIP_MODEL_ID 4 Generic Descriptor Models Descriptor Slip Type of Object Relations in the Model Transfer information Object Description Object Specialisation SIPs OBJECT_ID TRANSFERRED_DO_FILES LAST_OBJECT TRANSFERRED_METADATA_FILES 1 Generic Slip Model Instantiated Slips and

32. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 32 General principles Model of Objects to be Transferred: Delivery Slip Generic ModelDomain ModelProducer-Archive Project Model Addition of an attribute Elimination of an attribute Modification of existing attributes (change of name occurrence, …)

33. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 33 General principles Model of Objects to be Transferred: example Example of Slip Model for a Data Object for Space Physics SPACE_PHYSICS_SLIP AttributeMeaningAttribute occurrence SLIP_MODEL_IDTNR_L2_DO1..1 OBJECT_IDObject identifier1..1 DESCRIPTOR_IDIdentifier of the Object Descriptor to which the object refers. This attribute is used to locate this object in the MOT. 1..1 TRANSFERRED_DO_FILESData file(s) which make up this object. This attribute is of the TRANSFERRED_FILES_DESCRIPTION type. 0..N LAST_OBJECTIndicator specifying that it is the last object of the Collection0..1 START_DATE Start date for the Data Object 1..1 STOP_DATE End date for the Data Object 1..1

34. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 34  The Slip provides information for reconstituting the Data Object from the different data containers used for the transfer.  Each Slip instance refers to 1 object Descriptor identifier. General principles Model of Objects to be Transferred: Slip Model instances

35. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 35 General principles Model of Objects to be Transferred: example Example of instance of Slip for a Data Object for Space Physics SPACE_PHYSICS_SLIP AttributeValue SLIP_MODEL_IDTNR_L2_DO OBJECT_IDWind_waves_tnr_l2_20040610 DESCRIPTOR_IDWIND_WAVES_TNR_L2_DATA TRANSFERRED_DO_FILESTRANSFERRED_FILE = Wind_waves_tnr_l2_20040610.dat TRANSFERRED_FILE = Wind_waves_tnr_l2_20040610.xml LAST_OBJECTFALSE START_DATE2004/06/10-00 :00 :00 STOP_DATE2004/06/10-23 :59 :59

36. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 36 General principles Model of Objects to be Transferred: example of Model representation ROOT WIND_WAVES WIND_WAVES_TNR_L2 METADATA_STANDARD=DIF WIND_WAVES_TNR_L2_DATA (N) METADATA_MODEL=CDPP_DO.xsl WIND_WAVES_CC EAST_DESCRIPTION (1) DOCUMENTATION (1) Object Descriptor ID SPACE_PHYSICS_SLIP Wind_waves_tnr_l2_aaammjj.dat Wind_waves_tnr_l2_aaammjj.xml EAST_SLIP Wind_waves_tnr_l2.east EXPERIMENT_DESCRIPTION_SLIP Wind_waves_22000_0387.pdf SPACE_PHYSICS_COLLECTION_SLIP Wind_waves_tnr.dif N Files to be transferred

37. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 37 Contents  Introduction Context Objectives General framework Example  General principles for implementing Formal Definition and Transfer Phases From Formal Phase to Transfer Phase Model of Objects to be Transferred (MOT) SIPs Sequencing constraints  Other steps  Conclusion

38. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 38  Group of elementary packages in a package to be transferred (objects of the same or different types).  Defined during the Formal Definition Phase: –Rules for grouping objects. –SIP categories for the project General principles SIPs

39. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 39 General principles SIPs SIP_DESCRIPTOR Generic SIP Model AttributeMeaningAttribute occurrence SIP_MODEL_IDSIP type identifier1..1 DESCRIPTOR_IDObject Descriptor identifier contained in the SIP. 1..N  SIP1: Collection WIND_WAVES_TNR_L2  SIP2: Complementary Objects EAST file and document  SIP3: Data Objects Example of SIP3 Descriptor instance AttributeValue SIP_MODEL_IDSIP3 DESCRIPTOR_IDWIND_WAVES_TNR_L2_DATA

40. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 40  A given digital object may have to be transmitted before or after another.  Constraint group: set of objects related to each other by a set of dependent sequencing constraints. General principles Sequencing Constraints Attribute nameMeaningValue syntaxOccurrence TIME_CONSTRAINT_GROUPdefine the groupsidentifier0..1 SERIAL_NUMBER_IN_CONSTRAINTdefine the constraints within the same group integer0..1

41. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 41 General principles Sequencing Constraints SIP1: Collection WIND_WAVES_TNR_L2 SIP2: Complementary Objects EAST file and document: is delivered before any delivery of SIP3. SIP3: Data Objects Example of SIP3 instance AttributeValue SIP_MODEL_IDSIP3 SIP_CONTENTWIND_WAVES_TNR_L2_DATA TIME_CONSTRAINT_GROUP Group_1 SERIAL_NUMBER_IN_CONSTRAINT 2 Example of SIP2 instance AttributeValue SIP_MODEL_IDSIP2 DESCRIPTOR_IDEAST_DESCRIPTION DESCRIPTOR_IDDOCUMENTATION TIME_CONSTRAINT_GROUP Group_1 SERIAL_NUMBER_IN_CONSTRAINT 1 1 2

42. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 42 General principles Overall view Formal Definition Phase Transfer Phase Transferred Objects in SIPs 4 Specialised Descriptor Models MOT Descriptor Slip Type of Object Relations in the Model Transfer information Object Description Object Model of Objects to be Transferred: SIPs definition Data Objects, Complementary Data Objects Collections, Complementary Collections 4 Generic Descriptor Models Specialisation SIPs OBJECT_ID TRANSFERRED_DO_FILES LAST_OBJECT TRANSFERRED_METADATA_FILES 1 Generic Slip Model Instantiated Slips and APPLICABLE_SLIP Instantiated Descriptor Models

43. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 43 General principles Overall view Generic Descriptor Model Generic Slip Model Specialised Descriptor Model Specialised Slip Model Instantiated Descriptor Instantiated Slip Attribute = DESCRIPTOR_ID …… Attribute = APPLICABLE_SLIP Attribute = SLIP_MODEL_ID Attribute = OBJECT_ID Attribute = DESCRIPTOR_ID …… Attribute = TRANSFERRED_FILE Attribute = DESCRIPTOR_ID …… Attribute = APPLICABLE_SLIP DESCRIPTOR_ID = WIND_WAVES_TNR_L2_DATA …… APPLICABLE_SLIP = TNR_L2_DO Attribute = SLIP_MODEL_ID = TNR_L2_DO Attribute = OBJECT_ID Attribute = DESCRIPTOR_ID …… Attribute = TRANSFERRED_FILE SLIP_MODEL_ID = TNR_L2_DO OBJECT_ID = Wind_waves_tnr_l2_20040610 DESCRIPTOR_ID = WIND_WAVES_TNR_L2_DATA …… TRANSFERRED_FILE = Wind_waves_tnr_l2_20040610.dat Wind_waves_tnr_l2_20040610.xml Wind_waves_tnr_l2_20040610

44. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 44 Contents  Introduction Context Objectives General framework Example  General principles for implementing Formal Definition and Transfer Phases From Formal Phase to Transfer Phase Model of Objects to be Transferred (MOT) SIPs Sequencing constraints  Other steps  Conclusion

45. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 45  Formal Definition Phase detailed specification  Transfer Phase specification  Managing modifications  Tools Other steps To be developed

46. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 46  How can we define an object (and have a sufficiently precise description without creating the objects)? –Descriptor and attributes  How can we define the organisation between the objects (« Model of Objects to be Transferred « )? –Descriptors and relation definitions between objects  How can we define a complete packaging description for an object and a group of objects? –Slips and SIPs  How can we adapt the general framework to the domain specificities and project needs? –Specialisation process  How can we specify the constraints (granularity and sequencing) applying to these objects? –TIME_CONSTRAINT_GROUP, SERIAL_NUMBER_IN_CONSTRAINT attributes  How can we have a unique visual representation of the objects to deliver and their constraints? –To be discussed Conclusion Needs to meet: some answers

47. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 47 Conclusion  Reach an Agreement on –Terminology, –Concepts (Descriptors, Slips, SIPs, sequencing constraints), –Process, Before any implementation phase.

48. CCSDS Meeting, 02/11/04 Specification for the Formal Definition and Transfer Phase 48