MOPAS 2011, The Second International Conference on Models and Ontology-based Design of Protocols, Architectures and Services

Type: conference

Notes: IARIA Conference.

Editors:
Michel Diaz, LAAS, France
Ernesto Exposito, LAAS, France

ISBN: 978-1-61208-130-4

Location: Budapest, Hungary

Dates: from April 17, 2011 to April 22, 2011

Articles: there are 4 articles

The Design, Instantiation, and Usage of Information Security Measuring Ontology
Antti Evesti, Reijo Savola, Eila Ovaska, and Jarkko Kuusijärvi
keywords: adaptation, run-time, quality, measure, security metric, software

Involving Non Knowledge Base Experts With the Development of Ontologies
Vlad Nicolicin Georgescu, Vincent Bénatier, Rémi Lehn, and Henri Briand
keywords: Ontology, Information System, Software, Decision Support System

Formal Logic Based Configuration Modeling and Verification for Dynamic Component Systems
Zoltan Theisz, Gabor Batori, and Domonkos Asztalos
keywords: Alloy specification; formal model semantics; metamodeling; dynamic component system