1 The paper introduces formal description techniques and SDL.

2 The dissertation extends DisCo formal description language to precisely describe design pattern.

3 Formal description of emergency plans is the precondition and basis to establish the theoretical framework for emergency plans.

4 This paper discusses formal description style of communication protocol for computer networks.

5 Formal description and automatic implementation play an important part in main developing work of protocol engineering.

6 Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program. It suits for precisely representing the dynamic semantics of a model.

7 Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.

8 LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).

9 Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed.

10 A transport protocol and its formal description techniques for local networks are discussed.

11 We offer the formal description of negotiation protocol, negotiation strategies and the decision model for negotiation.

12 Complete and formal description method of spatial relation semantics is emphasized in GIS research field. Dynamic and fuzzy spatial relations make the method very complicated.

13 A formal description of a system, or a detailed plan of the system at component level to guide its implementation.

14 However, rehabilitation has made rather more significant inroads than is suggested by the formal description of the system.

15 A classic perception of liars is that they are more anxious, and the 'Anxiety Hypothesis' is a formal description of the idea.

16 The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z.

17 First, each node computes the content trust of the information according to the formal description of knowledge provided by its own ontology.

18 An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.

19 The structure of its supporting process is introduced firstly, and then the formal description is given, so a new SPM (software process model) is constructed.

20 By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.

21 Using Visualization Technology, this paper chooses L system as a formal description language to realize the visualization of inference course.

22 Alternatively,[] the model could be processed into a WSDL file -- again a formal description of a Web service.

23 Ultimately, the UML model is converted into an XML schema, which is a very formal description of the XML vocabulary.

24 After analysing the activity flow drawing of the users, the modeling tool generates a XML formal description file which is parsed by flow engine.

25 At last, the author uses an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.

26 Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.

27 Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for IN service and the theory and methods in IN's service verification.

28 Despite a number of opinions expressed both for and against a formal description language for RESTful applications, description languages like WADL have gained some limited ground.