Re: [hackathon] Formal Languages at the Hackathon

Antoni Przygienda <prz@juniper.net> Wed, 06 November 2019 21:17 UTC

Return-Path: <prz@juniper.net>
X-Original-To: hackathon@ietfa.amsl.com
Delivered-To: hackathon@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 349EC12002F; Wed, 6 Nov 2019 13:17:45 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.701
X-Spam-Level:
X-Spam-Status: No, score=-2.701 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=juniper.net header.b=m2zzKKIo; dkim=pass (1024-bit key) header.d=juniper.net header.b=XMjbFCQh
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id T9jDRHYIBNWm; Wed, 6 Nov 2019 13:17:42 -0800 (PST)
Received: from mx0a-00273201.pphosted.com (mx0a-00273201.pphosted.com [208.84.65.16]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E94C0120120; Wed, 6 Nov 2019 13:17:42 -0800 (PST)
Received: from pps.filterd (m0108159.ppops.net [127.0.0.1]) by mx0a-00273201.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id xA6LCdKe004544; Wed, 6 Nov 2019 13:15:53 -0800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-id : content-transfer-encoding : mime-version; s=PPS1017; bh=1H/y2ZHAiI0cQMvlu5gieiWmSuXe4XCRbqunPs+RpOE=; b=m2zzKKIojXf6Aqsq0IGGXC1ZrP1QitrM2RdUdAlMA6QwlCKWxPEWFaTawJgvrPq7ME6F P2aYEcRhgpFM+mB9Wjo6Io8GodyMe2JNSdxG3goc8JZkzLDouo3mMH50aSVlgpk0XXe8 2ODkW+OTeA31YOEEUO6Y6vq5DrLe/oYT42cc3Km4EXm/g7tG6s0fPUi+xHUitkp7n410 RE5851DwHlPggHWwjPTanzGSgOcSm3q4py06q6PNSSBJYS5YGZxZp3gcJOHjQj4odvvf IdI5GHtl7KnSU8DIovvs7Ht6o80y5ILuzTWIAP2pLFp13qoU+SejgP4GJoaONeT+KU8p HA==
Received: from nam01-sn1-obe.outbound.protection.outlook.com (mail-sn1nam01lp2053.outbound.protection.outlook.com [104.47.32.53]) by mx0a-00273201.pphosted.com with ESMTP id 2w41vd8feb-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 06 Nov 2019 13:15:53 -0800
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=AovCWOveXntDx3EorM0SymsV12OTM0FTktJS3qoViX0JFU6Cafkj/0mt/ULpMbATfZ3GFy1ylU1SIPPR3MR7anpRBKf7FBpwrSJiaUVaQ9p2LZdV0dd+CIieQrMPYmRMq2Ziq2WGIHE60SgdXIKAsUXb2vtQc2IrUd8ulwEIbXb9gwc7nJDGlBhGSgxFpwp76NIWa9aLBkbrv4KSYYW327vmKjximOhb9hq1lgcqdH9r5vtJAAiVUnzHDZ6S0DupLvA6CquuRbTF09xxBAH3BP+1h2vL/zhiNzSL8uvT8McX2Ybx+K+u9oxIO2Nsx4C8LG+5dTAEVjfY6vt0IUzyaQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=1H/y2ZHAiI0cQMvlu5gieiWmSuXe4XCRbqunPs+RpOE=; b=j9B+6Z+mnnO9/LJpq4Abk3Q2I3kPh7lI7m11AMjTQWYLz9eR6IvHmjvQhuOU7R2OoNSMOEl0kl3TXcdMYlvUN9hFzreckyT3qi5egjkzg28UWesRVzFDciR4Kqk24RqcBXp2XaPPIrFVo8n5L19OpCM1BJ/KfuFLpkMRH65cBLSaFgyRI0h2bzHGQ5+RMHjCbLstFcEf4tNRVLpwdAjoW7a24U1wG81MkdwMNPow8khnv2du8s+MOyFroy3XhDSKlduTMxzgvx5zGIVp1HAI/FpUl0PsEgWAhZ1dbHiqx0phXOm7+b1RUTiV2JIsCAmgxl1rwV/STol6bR/352a7DQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=juniper.net; dmarc=pass action=none header.from=juniper.net; dkim=pass header.d=juniper.net; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=1H/y2ZHAiI0cQMvlu5gieiWmSuXe4XCRbqunPs+RpOE=; b=XMjbFCQhyC4CV32504k1wMGHzjsTkjp07a/FG6waHbMIRla6o+amNsi6wooISgvYKGjuRHpzsQpcnVAodttoiFaHp0MbEkdcVrQzrNCzp+qtZN30bnIvQLH7b6y9jgAjsNBole4lOOPDaeYg/g5IafTQuQTZxSV2vIjPv3BfMsM=
Received: from SN6PR05MB5613.namprd05.prod.outlook.com (52.135.109.221) by SN6PR05MB4925.namprd05.prod.outlook.com (52.135.117.31) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2430.16; Wed, 6 Nov 2019 21:15:51 +0000
Received: from SN6PR05MB5613.namprd05.prod.outlook.com ([fe80::1cff:aada:b864:8c83]) by SN6PR05MB5613.namprd05.prod.outlook.com ([fe80::1cff:aada:b864:8c83%7]) with mapi id 15.20.2430.020; Wed, 6 Nov 2019 21:15:51 +0000
From: Antoni Przygienda <prz@juniper.net>
To: Carsten Bormann <cabo@tzi.org>
CC: "hackathon@ietf.org" <hackathon@ietf.org>, "cbor@ietf.org" <cbor@ietf.org>, "t2trg@irtf.org" <t2trg@irtf.org>, Deborah Brungard <db3546@att.com>, Alvaro Retana <aretana.ietf@gmail.com>
Thread-Topic: [hackathon] Formal Languages at the Hackathon
Thread-Index: AQHVlIpUHHz09UBtGESbEgrp8q5at6d+R96A//+ODYCAAIvGgP//fCCAgADEEoD//32PgA==
Date: Wed, 6 Nov 2019 21:15:51 +0000
Message-ID: <43EC5C77-63A3-4B9A-95FC-5C4880CD14C7@juniper.net>
References: <4BD0608C-A277-4130-B85C-D7A75FAEFD8F@smcquistin.uk> <C464EE6D-3DF8-4101-AA26-BD38A61F8E7B@tzi.org> <FF14A414-758A-462A-ADF4-3B6EF051FE32@juniper.net> <26630BB7-A8A6-4A35-BF22-22CEDFDBE3E3@tzi.org> <19B88297-3EB0-4FDD-86A0-E6118729312F@juniper.net> <867BC0C8-651A-4EDA-8C24-2E7C877BF624@tzi.org>
In-Reply-To: <867BC0C8-651A-4EDA-8C24-2E7C877BF624@tzi.org>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
msip_labels: MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Enabled=true; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Name=Juniper Business Use Only; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Enabled=true; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_SiteId=bea78b3c-4cdb-4130-854a-1d193232e5f4; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_ContentBits=0; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_Method=Standard; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_ActionId=ddf1c02c-e473-4a50-82bd-0000bb1c81ce; MSIP_Label_9784d817-3396-4a4f-b60c-3ef6b345fe55_SetDate=2019-11-06T21:14:35Z;
user-agent: Microsoft-MacOutlook/10.1f.0.191103
x-originating-ip: [66.129.239.12]
x-ms-publictraffictype: Email
x-ms-office365-filtering-ht: Tenant
x-ms-office365-filtering-correlation-id: 235e7869-8883-435b-5abb-08d762fe80a2
x-ms-traffictypediagnostic: SN6PR05MB4925:
x-ms-exchange-purlcount: 1
x-microsoft-antispam-prvs: <SN6PR05MB492551B88AA2E7F517B848B5AC790@SN6PR05MB4925.namprd05.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:8273;
x-forefront-prvs: 02135EB356
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(376002)(396003)(136003)(39860400002)(346002)(366004)(189003)(199004)(66946007)(99286004)(71190400001)(2906002)(14454004)(6506007)(86362001)(6436002)(53546011)(5660300002)(229853002)(6486002)(66066001)(3846002)(71200400001)(76176011)(6246003)(186003)(476003)(486006)(11346002)(446003)(6306002)(6512007)(4326008)(256004)(2616005)(305945005)(8936002)(6916009)(478600001)(8676002)(316002)(81166006)(81156014)(102836004)(6116002)(54906003)(58126008)(76116006)(26005)(7736002)(36756003)(966005)(66556008)(91956017)(64756008)(66476007)(33656002)(66446008)(25786009); DIR:OUT; SFP:1102; SCL:1; SRVR:SN6PR05MB4925; H:SN6PR05MB5613.namprd05.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1;
received-spf: None (protection.outlook.com: juniper.net does not designate permitted sender hosts)
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: DFHBnBrclb9A6ry/SmiGC1pyus9c7ID50f9Z12g87f9wDE+sijvd0P+F8S890cfsfY8zLGjMjqQHJuLBwjEGC/hbP1JXxCgwYykZnJ7Kk3OAxug2wchXrnvZMxzzP5Drnoy/w3pvdA6qd2pqTRPs+1FOvrXJ2wmVCmebqrzeLUWCOIGlf472ocR08dwFtomz095CV0Ziw862URR+V04+43RjsEVs09RcIkVx/nfNDIwewmTOPLVJt/WnhltYYUz2Re68+XNai/ljLpdbYTZ3KSpMPeKi2om9KZG3kJGdPbCDq2WsDuu0gCECS6w6svjTUYA3T4vZSx/iE3hUl0cZFN1jVVFEOBgJjx34dhhxdUxHK1H/erRX8NUnIHVFjh+uANnIrUU84iSVE92v0/2CJ0tDea4w5ZM7pxNESCXQMchs3lxg8Q5fMt4vtL6niCbBjQ5HF3HFqn/6AslrTDSSFa4Coa3nVm98SjfDRtswqG8=
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="utf-8"
Content-ID: <EF7E7524C06CB44DA23F3E5606B13520@namprd05.prod.outlook.com>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-OriginatorOrg: juniper.net
X-MS-Exchange-CrossTenant-Network-Message-Id: 235e7869-8883-435b-5abb-08d762fe80a2
X-MS-Exchange-CrossTenant-originalarrivaltime: 06 Nov 2019 21:15:51.4703 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: bea78b3c-4cdb-4130-854a-1d193232e5f4
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: 08g/ckK9yrzO+IRR+LuDTmjV4WNK+X4yQ0dH+t8V6oHF/fC1ZVmytl7Vm9aysUYJ
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN6PR05MB4925
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.95,18.0.572 definitions=2019-11-06_07:2019-11-06,2019-11-06 signatures=0
X-Proofpoint-Spam-Details: rule=outbound_spam_notspam policy=outbound_spam score=0 adultscore=0 phishscore=0 priorityscore=1501 mlxscore=0 suspectscore=0 spamscore=0 clxscore=1015 bulkscore=0 impostorscore=0 malwarescore=0 mlxlogscore=999 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1910280000 definitions=main-1911060208
Archived-At: <https://mailarchive.ietf.org/arch/msg/hackathon/5jxQH1iLWCc7VPUo6l54a5FsoIc>
Subject: Re: [hackathon] Formal Languages at the Hackathon
X-BeenThere: hackathon@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Discussion regarding past, present, and future IETF hackathons." <hackathon.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/hackathon>, <mailto:hackathon-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/hackathon/>
List-Post: <mailto:hackathon@ietf.org>
List-Help: <mailto:hackathon-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/hackathon>, <mailto:hackathon-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 06 Nov 2019 21:17:45 -0000

All correct, except the "fit on one slide" for the whole model is probably working for anything that is not a real world problem __ unless I misunderstood ... 

--- tony 

On 11/6/19, 1:02 PM, "Carsten Bormann" <cabo@tzi.org> wrote:

    On Nov 6, 2019, at 18:20, Antoni Przygienda <prz@juniper.net> wrote:
    > 
    > >    When the complexity of the data being modeled dominates your thinking …
    >  
    > Tony’s dogma: “Complexity of any successful technology _always_ goes up with time” 😉 😉
    
    Indeed, that’s why I talked about “dominates your thinking” (as opposed to “should dominate your thinking”).
    
    An interesting effect of having a great FDT technique is that it becomes much easier to handle complexity.
    A follow-on effect is that, as it is so much easier to put in complexity, you do put in more of that.
    Which will hurt you sooner than you think (*)…
    
    So I strongly believe that a prerequisite of using FDT successfully is that the formal model of your shiny new RFC should now fit on one slide.  (Which actually works out for RFC 7071 (+)!)
    
    Grüße, Carsten
    
    (*) I still remember when I first read the ASN.1 for GSM MAP.  All 950 pages [IIRC] of it…
    (+) https://urldefense.com/v3/__https://tools.ietf.org/html/rfc8610*page-61__;Iw!8WoA6RjC81c!TwrWiCR6j8RDlcPfaISIxVV7xjRnaS04YL0LnKZkf3XxaHeXxM53msCyp2QMaA$