Changes between Version 5 and Version 6 of aadlDeclarativeModel
- Timestamp:
- 04/12/17 16:11:04 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
aadlDeclarativeModel
v5 v6 2 2 = AADL v2 parser = 3 3 The AADL parser (aadlrev) takes textual AADL files as input and produces a list of prolog predicates as output.[[BR]] 4 It is implemented with conventional !Lex/Yacc technology and follows the AADL grammar (BNF) specified in the SAE AS-5506 standard documents.[[BR]] [[BR]]4 It is implemented with conventional !Lex/Yacc technology and follows the AADL grammar (BNF) specified in the SAE AS-5506 standard documents.[[BR]] 5 5 6 6 Current version is aadlrev 2.10 dated 11 March 2017 that supports AADL 1.0, AADL 2.0, AADL 2.1, AADL 2.2, the Behavior Annex 1.0 and 2.0, the Error Annex 1.0 and 2.0 (EMV2). … … 50 50 [wiki:aadlparser/isSubcomponent isSubcomponent/9][[BR]] 51 51 [wiki:aadlparser/isSubcompComment isSubcompComment/6][[BR]] 52 [wiki:aadlparser/isInternalFeature isInternalFeature/7][[BR]]53 52 [wiki:aadlparser/isAnnex isAnnex/7][[BR]] 54 53 [wiki:aadlparser/isAnnexComment isAnnexComment/6][[BR]] … … 59 58 [wiki:aadlparser/isFeature isFeature/10][[BR]] 60 59 [wiki:aadlparser/isFeatureComment isFeatureComment/5][[BR]] 60 [wiki:aadlparser/isInternalFeature isInternalFeature/7][[BR]] 61 61 [wiki:aadlparser/isInverseOf isInverseOf/4][[BR]] 62 62 [wiki:aadlparser/isConnection isConnection/10][[BR]]