Matches in SemOpenAlex for { <https://semopenalex.org/work/W1977673947> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1977673947 abstract "Modelling Self-managing Multi Agent Systems (MSMAS) is a software development methodology that facilitates designing and developing complex distributed systems based on the multiagent systems paradigm. MSMAS uses a declarative modelling style to capture system requirements by specifying four types of what we call system norms over: the system goals, the system roles, the business activities, and communications. MSMAS utilises system norms to capture system requirements in a formal language which can subsequently be monitored and verified at runtime. In this paper we present the main elements of MSMAS and introduce MSMAS defined norm types. We model the life cycle of MSMAS norms as non-atomic activities and formally express them as Event Calculus (EC) theories. Our acclimatisation of MSMAS system norms as first-order EC allows for reasoning with a metric time representation which we illustrate through a monitoring example of two execution traces to verify the system compliance with its intended design requirements and show how to detect any violation of norms." @default.
- W1977673947 created "2016-06-24" @default.
- W1977673947 creator A5005596564 @default.
- W1977673947 creator A5032536091 @default.
- W1977673947 creator A5047795784 @default.
- W1977673947 date "2014-09-01" @default.
- W1977673947 modified "2023-09-27" @default.
- W1977673947 title "Run-Time Verification of MSMAS Norms Using Event Calculus" @default.
- W1977673947 cites W1550395769 @default.
- W1977673947 cites W1562495419 @default.
- W1977673947 cites W1606926811 @default.
- W1977673947 cites W1688777878 @default.
- W1977673947 cites W186374320 @default.
- W1977673947 cites W1908361628 @default.
- W1977673947 cites W2022078754 @default.
- W1977673947 cites W2049020590 @default.
- W1977673947 cites W2077997855 @default.
- W1977673947 cites W2109380713 @default.
- W1977673947 cites W2115764798 @default.
- W1977673947 cites W2899987233 @default.
- W1977673947 cites W326286545 @default.
- W1977673947 doi "https://doi.org/10.1109/sasow.2014.31" @default.
- W1977673947 hasPublicationYear "2014" @default.
- W1977673947 type Work @default.
- W1977673947 sameAs 1977673947 @default.
- W1977673947 citedByCount "2" @default.
- W1977673947 countsByYear W19776739472021 @default.
- W1977673947 countsByYear W19776739472022 @default.
- W1977673947 crossrefType "proceedings-article" @default.
- W1977673947 hasAuthorship W1977673947A5005596564 @default.
- W1977673947 hasAuthorship W1977673947A5032536091 @default.
- W1977673947 hasAuthorship W1977673947A5047795784 @default.
- W1977673947 hasConcept C111498074 @default.
- W1977673947 hasConcept C115903868 @default.
- W1977673947 hasConcept C121332964 @default.
- W1977673947 hasConcept C162324750 @default.
- W1977673947 hasConcept C176217482 @default.
- W1977673947 hasConcept C17744445 @default.
- W1977673947 hasConcept C18460168 @default.
- W1977673947 hasConcept C191795146 @default.
- W1977673947 hasConcept C199360897 @default.
- W1977673947 hasConcept C199539241 @default.
- W1977673947 hasConcept C21547014 @default.
- W1977673947 hasConcept C25016198 @default.
- W1977673947 hasConcept C2779662365 @default.
- W1977673947 hasConcept C41008148 @default.
- W1977673947 hasConcept C62520636 @default.
- W1977673947 hasConcept C75606506 @default.
- W1977673947 hasConceptScore W1977673947C111498074 @default.
- W1977673947 hasConceptScore W1977673947C115903868 @default.
- W1977673947 hasConceptScore W1977673947C121332964 @default.
- W1977673947 hasConceptScore W1977673947C162324750 @default.
- W1977673947 hasConceptScore W1977673947C176217482 @default.
- W1977673947 hasConceptScore W1977673947C17744445 @default.
- W1977673947 hasConceptScore W1977673947C18460168 @default.
- W1977673947 hasConceptScore W1977673947C191795146 @default.
- W1977673947 hasConceptScore W1977673947C199360897 @default.
- W1977673947 hasConceptScore W1977673947C199539241 @default.
- W1977673947 hasConceptScore W1977673947C21547014 @default.
- W1977673947 hasConceptScore W1977673947C25016198 @default.
- W1977673947 hasConceptScore W1977673947C2779662365 @default.
- W1977673947 hasConceptScore W1977673947C41008148 @default.
- W1977673947 hasConceptScore W1977673947C62520636 @default.
- W1977673947 hasConceptScore W1977673947C75606506 @default.
- W1977673947 hasLocation W19776739471 @default.
- W1977673947 hasOpenAccess W1977673947 @default.
- W1977673947 hasPrimaryLocation W19776739471 @default.
- W1977673947 hasRelatedWork W108810813 @default.
- W1977673947 hasRelatedWork W1524361563 @default.
- W1977673947 hasRelatedWork W2072697836 @default.
- W1977673947 hasRelatedWork W2133819580 @default.
- W1977673947 hasRelatedWork W2562928796 @default.
- W1977673947 hasRelatedWork W2605218250 @default.
- W1977673947 hasRelatedWork W2730103547 @default.
- W1977673947 hasRelatedWork W2741430969 @default.
- W1977673947 hasRelatedWork W2752097412 @default.
- W1977673947 hasRelatedWork W61995002 @default.
- W1977673947 isParatext "false" @default.
- W1977673947 isRetracted "false" @default.
- W1977673947 magId "1977673947" @default.
- W1977673947 workType "article" @default.