𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal agent-oriented modeling with UML and graph transformation

✍ Scribed by Ralph Depke; Reiko Heckel; Jochen Malte Küster

Book ID
108410781
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
300 KB
Volume
44
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Software Specification with Refin
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems
✍ Martin Große-Rhode; Francesco Parisi Presicce; Marta Simeoni 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Graph transformation systems are a formal specification technique for software systems that support the rule based specification of the dynamic behaviour of a system.Their main advantages are the intuitive visual representation of states and state transformations as graphs on the one hand, and the f

Integer programming models and algorithm
Integer programming models and algorithms for the graph decontamination problem with mobile agents
✍ John Penuel; J. Cole Smith; Siqian Shen 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 371 KB 👁 1 views

## Abstract This article considers the problem of using synchronous mobile agents to decontaminate the nodes of a graph given a spreading contamination. We begin by considering the problem of minimizing cleaning time, given initial agent, and contamination locations. Then, we take as input a set of