LEADER 02614nam  2200385   450 
001 9910135461003321
005 20231208091141.0
010   $a0-7381-8003-3
024 7 $a10.1109/IEEESTD.2012.6357338
035   $a(CKB)3780000000093213
035   $a(NjHacI)993780000000093213
035   $a(EXLCZ)993780000000093213
100   $a20231208d2012      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aISO/IEC/IEEE 31320-2:2012(E)$hPart 2$iSyntax and Semantics for IDEF1X97 (IDEFobject) $eISO/IEC/IEEE International Standard - Information technology -- Modeling Languages /$fInstitute of Electrical and Electronics Engineers
210  1$aGeneva, New York :$cIEEE,$d2012.
215   $a1 online resource (320 pages) $cillustrations
330   $aIDEF1X97 consists of two conceptual modeling languages. The key-style language supports data/information modeling and is downward compatible with the US government's 1993 standard, FIPS PUB 184. The identity-style language is based on the object model with declarative rules and constraints. IDEF1X97 identity style includes constructs for the distinct but related components of object abstraction: interface, requests, and realization; utilizes graphics to state the interface; and defines a declarative, directly executable Rule and Constraint Language for requests and realizations. IDEF1X97 conceptual modeling supports implementation by relational databases, extended relational databases, object databases, and object programming languages. IDEF1X97 is formally defined in terms of first order logic. A procedure is given whereby any valid IDEF1X97 model can be transformed into an equivalent theory in first order logic. That procedure is then applied to a meta model of IDEF1X97 to define the valid set of IDEF1X97 models.
517   $a31320-2-2012 - ISO/IEC/IEEE International Standard - Information technology -- Modeling Languages -- Part 2
517   $aISO/IEC/IEEE 31320-2:2012(E): ISO/IEC/IEEE International Standard - Information technology -- Modeling Languages -- Part 2: Syntax and Semantics for IDEF1X97 (IDEFobject)
517   $aISO/IEC/IEEE International Standard - Information technology -- Modeling Languages -- Part 2
517   $aISO/IEC/IEEE 31320-2
606   $aModeling languages (Computer science)
615  0$aModeling languages (Computer science)
676   $a005.1
801  0$bNjHacI
801  1$bNjHacl
906   $aDOCUMENT
912   $a9910135461003321
996   $aISO$91086301
997   $aUNINA