임시 주문 사양 언어
Language Of Temporal Ordering Specification컴퓨터 과학에서 LOTOS(Language Of Temporal Ordering Specification)는 이벤트의 시간 순서에 기초한 공식 사양 언어입니다.LOTOS는 국제표준화기구(ISO) 개방형 시스템 상호접속 모델(OSI) 표준의 통신 프로토콜 사양에 사용됩니다.
LOTOS는 추상적인 데이터 타입을 기반으로 한 데이터 및 연산을 기술하는 부분과 프로세스 미적분을 기반으로 한 동시 프로세스를 기술하는 부분으로 구성된 대수 언어입니다.
이 규격에 대한 연구는 1988년에 완료되었고, 1989년에 ISO 8807로 출판되었다.1993년과 2001년 사이에 ISO 위원회는 2001년에 E-LOTOS로 발행된 LOTOS 표준의 개정 버전을 정의하기 위해 노력했다.
「 」를 참조해 주세요.
레퍼런스
- ISO/IEC 국제표준 8807:1989.정보처리시스템 - 오픈시스템 상호접속 - LOTOS : 관찰행동의 시간순서에 기초한 형식기술 기법.제네바, 1989년 9월
- 형식 기술 LOTOS, P.H.J. van Eijk et al., 편집자, North-Holland, 1989.
- LOTOSphere: LOTOS, Tomaso Bolognesi, Jeroen van de Lagemaat 및 Chris Vissers, Kluwer Academic Publishers, 1995년 편집자와의 소프트웨어 개발
- LOTOS에서 LNT까지 휴버트 가라벨, 프레데릭 랭, 웬델린 세르웨입니다Joost-Pieter Katoen, Rom Langerak 및 Arnd Rensink 편집자 ModelEd, TestEd, TrustedEd - Ed Brinksma의 60번째 생일을 맞아 헌정된 에세이, 컴퓨터 사이언스 강의 노트 제10500권, 3-26쪽, 봄 국제출판
외부 링크
| 일반 | |
|---|---|
| 공정계산 | |
| 고전적인 문제 | |
