It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.2K
- Applied Category Theory Course 343
- Applied Category Theory Exercises 149
- Applied Category Theory Discussion Groups 48
- Applied Category Theory Formula Examples 15
- Chat 475
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 148
- Azimuth Forum 29
- Azimuth Project 190
- - Strategy 109
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708
- - Latest Changes 700
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 20
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

Options

Yesterday Blake and I drove to Metron's branch in San Diego and I met for the first time four of the main project participants: John Foley (math), Thy Tran (programming), Tom Mifflin and Chris Boner (two higher-ups involved in the project). We got a briefing on how Metron's ExAMS software works. It lets you design complex systems and view them in various ways.

The most fundamental view is the "activity trace", which consists of a bunch of parallel rows, one for each "object", going left to right in time. Each row has a bunch of boxes showing "activities" that are connected by wires when one box activity can only occur after another. "Time" here is not numerical but just a partial ordering on activities. The wires can also interact via logic operations, e.g. activity A may occur iff B and C but not D occur. Thus, the wires also interact via logic gates. However, these gates may also involve "delays", e.g. A occurs 10 minutes after B occurs.

One can zoom in on this activity trace, seeing more fine-grained descriptions of the activities: that is, boxes within boxes.

All of this gives a "logical" description of the complex system being described. There is also a much more complicated "physical" description, saying the exact mechanical functioning of all the parts. These parts are described using "plugins" which need to be carefully described but can then simply be *used* when assembling a complex system.

We are supposed to be designing our own systems using operads, but we want to take advantage of the fact that Metron already has this working system, ExAMS. Thus, one thing I'd like to do is understand ExAMS in terms of operads and figure out how to do something exciting and new using this understanding. I was very happy when Tom Mifflin embraced this goal.

Unfortunately there's no manual for ExAMS. Luckily it seems fairly simple, at least the part that I care about. (There are a lot of other views derived from the activity trace, but I don't need to worry about these.) Also, ExAMS uses some DODAF standards which I can read about. Furthermore, in some ways it resembles UML and SySML, or more precisely, certain *parts* of these languages.

So, I plan to put some time into understanding the underlying math of these activity traces.

## Comments

I decided to post a slightly more polished writeup of this meeting on the blog.

`I decided to post a slightly more polished writeup of this meeting [on the blog](https://johncarlosbaez.wordpress.com/2016/10/18/complex-adaptive-system-design-part-2/).`

In my view UML and SysML are fluffy apps designed to entice unwary developers into purchasing software that they will then get locked into.

The tension has always been between doing something that is formally rigorous (such as an ontology and logic language ) versus adopting something that is convenient for users to use (such as UML and SysML). This is the world of expediency, where everyone wants to take shortcuts, with the end result that you have something that looks OK and didn't take to long to produce, but that is ultimately useless. I think that is the refrain of the crowd from your Google+ post.

This is a NASA JPL presentation from a few years ago that I refer back to:

OWL is the standard "web ontology language"

And more recent info here -- note the "ease of adoption" reference, which is a code word for expediency:

International Symposium on Leveraging Applications of Formal Methods (2016)

I personally do analysis by creating graphs on the fly from a logic language connected to a triple-store database. At some point everyone that works in this area has an epiphany and figures out that everything is connected by triples, and governed by predicate logic, and that is a rigorous way to grow a model.

`In my view UML and SysML are fluffy apps designed to entice unwary developers into purchasing software that they will then get locked into. The tension has always been between doing something that is formally rigorous (such as an ontology and logic language ) versus adopting something that is convenient for users to use (such as UML and SysML). This is the world of expediency, where everyone wants to take shortcuts, with the end result that you have something that looks OK and didn't take to long to produce, but that is ultimately useless. I think that is the refrain of the crowd from your Google+ post. This is a NASA JPL presentation from a few years ago that I refer back to: > [Semantically-Rigorous Systems Engineering Using SysML and OWL](http://esaconferencebureau.com/docs/12c12_docs/0910-jenkins.pdf?sfvrsn=2) OWL is the standard "web ontology language" And more recent info here -- note the "ease of adoption" reference, which is a code word for expediency: International Symposium on Leveraging Applications of Formal Methods (2016) > ![jpl2](http://imageshack.com/a/img921/3073/g5HOBi.png) I personally do analysis by creating graphs on the fly from a logic language connected to a triple-store database. At some point everyone that works in this area has an epiphany and figures out that everything is connected by triples, and governed by predicate logic, and that is a rigorous way to grow a model.`