Process Program Development Based on UML and Action CasesPart 1: The Model

Listing 3. CSPL package.


—package specification
package SupermarketSystemDesignProcess is
  — software document type definition
  type DesignDocu is new DocType with record
    ClassDiagram: NonTextType;
    ObjectScenarioDiagram: NonTextType;
    DataDictionary: NonTextType;
    ClassSpecification: NonTextType;
    WorkPartition: NonTextType;
  end record;
  procedure GenDesign (subspecification; in Specification, subdesign: in out DesignDocu, specific_developer: in designer, Schedule: in schedule, Budget: in budget);
  ....
end SupermarketSystemDesignProcess;
— package body
package body SupermarketSystemDesignProcess is
  procedure GenDesign (subspecification; in Specification, subdesign: in out DesignDocu, specific_developer: in designer, Schedule: in schedule, Budget: in budget) is
    begin
      specific_developer edit subdesign referring to
        subspecification using CASETool with constraint
        Schedule, Budget;
    end;
    ....
end SupermarketSystemDesignProcess;

About the Authors

Shih-Chien Chou is with the Department of Computer Science and Information Engineering at the National Dong Hwa University, Hualien, Taiwan and can be contacted at [email protected].

Jen-Yen Jason Chen is with the Department of Computer Science and Information Engineering at the National Chiao Tung University, Hsinchu, Taiwan and can be contacted at [email protected].