ISModeler combines data and process models. It takes a process model in the form of a CPN model, a Data model in the form of a TPTP specification, and a specification that defines how the transitions in the Petri net
SEN Symposium – Q: Should We Specify Interactions, Explicitly? A: Yes
By Sung-Shik Jongmans We see two major shifts in the last decade: increase in cores, and the move from waterfall to agile. Unit-testing become more widespread. However, what is still lacking is support for multithreading: the interaction between threads when
SEN Symposium – Verification of concurrent software with vercors
By Marieke Huisman Software is everywhere. Failures in it can have enormous impact. All software have errors. Verifying software should become part of software development. It would be great if while developing verification already pops up, similar to current code
LAC 2017 – Quantitative analysis of profitability and vulnerability in e-business network
Door Roel Wieringa De meest ingewikkelde titel van het hele congres – aldus Roel. Geen enkele organisatie werkt meer alleen. Waarde wordt gecreëerd in netwerken. Maar hoe werken organisaties samen? Hoe kun je dat modelleren en analyseren? E3Value chains! Twee
LAC 2017 – Adapting your architecting style to the digital age
door Eltjo Poort en Matthijs van Riel Wat “architecten” we eigenlijk? Vele dingen worden uitgedacht, maar onderliggende principes zijn gelijk. Traditionele, projectgebaseerde governance gebruikt woorden als conveive, elaborate, construct, en transform zijn vervangen door agile termen: “funnel, backlog, analysis en
LAC 2017 – Digitale transformatie begin bij je bedrijfscultuur
Door Saskia van Uffelen CEO Ericsson Belux Veel mensen denken bij digitaal meteen aan technologie. Maar eigenlijk gaat het hierbij over hoe we leven, en hoe dat verandert: het gaat om de evolutie van de maatschappij. Steeds meer dingen worden
IPA Fall days 2017 – Model-based testing of Probabilistic Systems with Stochastic Time
by Marcus Gerholdt Everybody likes testing, and everybody likes statistics… So let’s combine the two… In many large systems probability plays an important role, think of randomization in games, encryption, network traffic, etc. Probabilistic model checking tools exist, but are
IPA Fall days 2017 – Model-based Testing: from Theory to Practice
by Jan Tretmans Many hardware systems – even some Dutch dykes! – are actually “just” software. That dyke one has about 40k elements, whereas the software consists of 100M LOC. As such systems need to interact a lot, it becomes
IPA Fall days 2017 – Testing the hard stuff and staying sane
By John Hughes Testing is typically something most people do not really like to do. Testing has this reputation of not being very fun. Why is testing hard? For n single features, there are O(n) test cases. However, you need
IPA Fall days 2017 – Type-based static analysis
By Jurriaan Hage As the halting problem in general is undecidable, it is possible that some programs can have a correct execution, but are not type-correct. That is why we need to study accuracy. To be on the safe side: