Informationsteknologi Åben distribueret databehandling Referencemodel: Arkitektonisk semantik Tillæg 1: Computerbaserede formler

Transkript

1 Dansk Standard Tillæg DS/ISO/IEC /Amd.1 1. udgave Informationsteknologi Åben distribueret databehandling Referencemodel: Arkitektonisk semantik Tillæg 1: Computerbaserede formler Information technology Open Distributed Processing Reference Model: Architectural Semantics Amendment 1: Computational formalization

2 DS/ISO/IEC /Amd.1 København DS projekt: ICS: Deskriptorer: databehandling,definition,distribueret databehandling,informationsudveksling,netværkssammenkobling, åbne systemers sammenkobling,osi,referencemodel Første del af denne publikations betegnelse er: DS/ISO/IEC, hvilket betyder, at det er en international standard, der har status som dansk standard Denne publikations overensstemmelse er: IDT med: ISO/IEC :1998/Amd.1:2001. DS-publikationen er på engelsk. DS-publikationstyper DANSK STANDARD udgiver forskellige publikationstyper. Typen på denne publikation fremgår af forsiden. Der kan være tale om: Dansk standard standard, der er udarbejdet på nationalt niveau eller er baseret på et andet lands nationale standard, eller standard, der er udarbejdet på internationalt og/eller europæisk niveau og har fået status som dansk standard DS-information publikation, der er udarbejdet på nationalt niveau og ikke har opnået status som standard, eller publikation, der er udarbejdet på internationalt og/eller europæisk niveau og ikke har fået status som standard, fx en teknisk rapport, eller europæisk præstandard DS-håndbog samling af standarder, eventuelt suppleret med informativt materiale DS-hæfte publikation med informativt materiale Til disse publikationstyper kan endvidere udgives tillæg og rettelsesblade DS-publikationsform Publikationstyperne udgives i forskellig form som henholdsvis fuldtekstpublikation (publikationen er trykt i sin helhed) godkendelsesblad (publikationen leveres i kopi med et trykt DS-omslag) elektronisk (publikationen leveres på et elektronisk medie) DS-betegnelse Alle DS-publikationers betegnelse begynder med DS efterfulgt af et eller flere præfikser og et nr. fx DS 383, DS/EN 5414 osv. Hvis der efter nr. er angivet at A eller Cor, betyder det, enten at det er et tillæg eller et rettelsesblad til hovedstandarden, eller at det er indført i hovedstandarden. DS-betegnelse angives på forsiden. Overensstemmelse med anden publikation: Overensstemmelse kan enten være IDT, EQV, NEQ eller MOD IDT: Når publikationen er identisk med en given publikation. EQV: Når publikationen teknisk er i overensstemmelse med en given publikation, men præsentationen er ændret. NEQ: Når publikationen teknisk eller præsentationsmæssigt ikke er i overensstemmelse med en given standard, men udarbejdet på baggrund af denne. MOD: Når publikationen er modificeret i forhold til en given publikation.

3 INTERNATIONAL STANDARD ISO/IEC First edition AMENDMENT Information technology Open Distributed Processing Reference Model: Architectural semantics AMENDMENT 1: Computational formalization Technologies de l'information Traitement réparti ouvert Modèle de référence: Sémantique architecturale AMENDEMENT 1: Formalisation informatique Reference number ISO/IEC :1998/Amd.1:2001(E) ISO/IEC 2001

4 ISO/IEC :1998/Amd.1:2001(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. ISO/IEC 2001 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or ISO's member body in the country of the requester. ISO copyright office Case postale 56 CH-1211 Geneva 20 Tel Fax copyright@iso.ch Web Published by ISO in 2002 ISO/IEC 2001 All rights reserved

5 ISO/IEC :1998/Amd.1:2001(E) CONTENTS Page 1) Introduction ) Clause 1 Scope ) Clause 2 Normative references ) Subclause 3.2 Definitions from ITU-T Recommendation Z ) Subclause 3.3 Definitions from the Z-Base Standard ) Annex A... 3 Annex A Computational Formalization... 3 A.1 Formalization of the Computational Viewpoint Language in LOTOS... 3 A.2 Formalization of the Computational Viewpoint Language in SDL A.3 Formalization of the Computational Viewpoint Language in Z A.4 Formalization of the Computational Viewpoint Language in ESTELLE ISO/IEC 2001 All rights reserved