ITU languages for ODP Rick Reed TSE Limited

advertisement
International Telecommunication Union
ITU languages for ODP
- a personal view - I may be wrong!
Rick Reed
TSE Limited
Workshop on Integrated Application of Formal Languages, Geneva, 13 September 2003
ITU-T languages 2003
URN (GRL,UCM) - draft
o MSC
o ASN.1 (XML)
o SDL
o TTCN
1. eODL
o
31.05.2016
Workshop on Integrated Application of Formal Languages, Geneva, 13 September 2003
2
What is Open Distributed
Processing?
A name for systems that have
o Open service interfaces on objects
o Distribution of objects, data and
management
X.90x.. is a Framework Reference Model
o An ODP system can (but need not be)
assessed against RM-ODP
o Conformance to RM-ODP does not
ensure openness
31.05.2016
Workshop on Integrated Application of Formal Languages, Geneva, 13 September 2003
3
Viewpoints
o Enterprise, Information, Computation,
o
o
o
o
o
Engineering, Technology
RM-ODP set not unique or definitive
Viewpoint needs a language
Overlaps require consistency
Traceable concepts & semantics
Development through viewpoints
o Are viewpoints part of ODP?
o If yes, must they be the RM-ODP ones?
31.05.2016
Workshop on Integrated Application of Formal Languages, Geneva, 13 September 2003
4
Transparency
o Hiding distribution from the “user”
• Access - differences in interface
• Failure - difference in mode
• (re)Location/Migration
• Replication - number of server objects
• Transaction - co-ordination of activities
o Should conform to RM-ODP if used
o Language support for Transparency?
31.05.2016
Workshop on Integrated Application of Formal Languages, Geneva, 13 September 2003
5
ITU-T languages for ODP
o Are they suitable?
o Are they used?
o If not, why not? What is?
o Do they match RM-ODP viewpoints?
o Attributes:
• Remote, Concurrent, Diverse
Environments, Mobile, Multiple
Copies, Asynchronous, Indirect,
Separate, Relative, Partial Failure,
Late Dynamic Binding ...
31.05.2016
Workshop on Integrated Application of Formal Languages, Geneva, 13 September 2003
6
Methodology
RM-ODP has been used as a general framework for tool
supported design methodology. It provides objectoriented concepts and principles for structuring the
system design. The design process is not a pure topdown approach, but is an iterative usage of each of
the stages from an abstract level down to the detailed
specification and implementation. Repetition of steps
is needed if errors are detected either by validation
on the design plane or by testing the implementation.
31.05.2016
Workshop on Integrated Application of Formal Languages, Geneva, 13 September 2003
7
Download