Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012246004> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2012246004 endingPage "73" @default.
- W2012246004 startingPage "54" @default.
- W2012246004 abstract "Abstract: To address a frame concern in Jackson's problem frames, we must make appropriate descriptions of (1) the problem domain; (2) the requirements; (3) the specification of the machine. Based on these descriptions, we must give a convincing argument that the given domain properties and the machine specification together entail that the requirements are fulfilled. In this paper, we demonstrate how to address certain frame concerns with the use of the formal modelling language coloured Petri nets (CPN). Problem domain description and machine specification are brought together in a CPN model, which is augmented with a graphical animation. The CPN model is executable and we simulate it to address frame concerns. We illustrate the approach on the elevator controller example." @default.
- W2012246004 created "2016-06-24" @default.
- W2012246004 creator A5045641309 @default.
- W2012246004 date "2008-01-13" @default.
- W2012246004 modified "2023-10-11" @default.
- W2012246004 title "Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns" @default.
- W2012246004 cites W1502084115 @default.
- W2012246004 cites W1576317809 @default.
- W2012246004 cites W1829244603 @default.
- W2012246004 cites W2009983102 @default.
- W2012246004 cites W2010954288 @default.
- W2012246004 cites W2015480010 @default.
- W2012246004 cites W2044239701 @default.
- W2012246004 cites W2056134008 @default.
- W2012246004 cites W2098080052 @default.
- W2012246004 cites W2099529102 @default.
- W2012246004 cites W2113435553 @default.
- W2012246004 cites W2125174515 @default.
- W2012246004 cites W2126410893 @default.
- W2012246004 cites W2135688603 @default.
- W2012246004 cites W78026558 @default.
- W2012246004 doi "https://doi.org/10.1111/j.1468-0394.2008.00454.x" @default.
- W2012246004 hasPublicationYear "2008" @default.
- W2012246004 type Work @default.
- W2012246004 sameAs 2012246004 @default.
- W2012246004 citedByCount "3" @default.
- W2012246004 countsByYear W20122460042012 @default.
- W2012246004 countsByYear W20122460042015 @default.
- W2012246004 crossrefType "journal-article" @default.
- W2012246004 hasAuthorship W2012246004A5045641309 @default.
- W2012246004 hasConcept C115903868 @default.
- W2012246004 hasConcept C121684516 @default.
- W2012246004 hasConcept C126042441 @default.
- W2012246004 hasConcept C134306372 @default.
- W2012246004 hasConcept C145644426 @default.
- W2012246004 hasConcept C160145156 @default.
- W2012246004 hasConcept C185592680 @default.
- W2012246004 hasConcept C199360897 @default.
- W2012246004 hasConcept C2777904410 @default.
- W2012246004 hasConcept C2780330621 @default.
- W2012246004 hasConcept C33923547 @default.
- W2012246004 hasConcept C36503486 @default.
- W2012246004 hasConcept C38677869 @default.
- W2012246004 hasConcept C41008148 @default.
- W2012246004 hasConcept C502989409 @default.
- W2012246004 hasConcept C55493867 @default.
- W2012246004 hasConcept C76155785 @default.
- W2012246004 hasConcept C98184364 @default.
- W2012246004 hasConceptScore W2012246004C115903868 @default.
- W2012246004 hasConceptScore W2012246004C121684516 @default.
- W2012246004 hasConceptScore W2012246004C126042441 @default.
- W2012246004 hasConceptScore W2012246004C134306372 @default.
- W2012246004 hasConceptScore W2012246004C145644426 @default.
- W2012246004 hasConceptScore W2012246004C160145156 @default.
- W2012246004 hasConceptScore W2012246004C185592680 @default.
- W2012246004 hasConceptScore W2012246004C199360897 @default.
- W2012246004 hasConceptScore W2012246004C2777904410 @default.
- W2012246004 hasConceptScore W2012246004C2780330621 @default.
- W2012246004 hasConceptScore W2012246004C33923547 @default.
- W2012246004 hasConceptScore W2012246004C36503486 @default.
- W2012246004 hasConceptScore W2012246004C38677869 @default.
- W2012246004 hasConceptScore W2012246004C41008148 @default.
- W2012246004 hasConceptScore W2012246004C502989409 @default.
- W2012246004 hasConceptScore W2012246004C55493867 @default.
- W2012246004 hasConceptScore W2012246004C76155785 @default.
- W2012246004 hasConceptScore W2012246004C98184364 @default.
- W2012246004 hasIssue "1" @default.
- W2012246004 hasLocation W20122460041 @default.
- W2012246004 hasOpenAccess W2012246004 @default.
- W2012246004 hasPrimaryLocation W20122460041 @default.
- W2012246004 hasRelatedWork W1525970584 @default.
- W2012246004 hasRelatedWork W1532876590 @default.
- W2012246004 hasRelatedWork W1551257573 @default.
- W2012246004 hasRelatedWork W2029030812 @default.
- W2012246004 hasRelatedWork W2043086438 @default.
- W2012246004 hasRelatedWork W2071432835 @default.
- W2012246004 hasRelatedWork W2350278424 @default.
- W2012246004 hasRelatedWork W2354109728 @default.
- W2012246004 hasRelatedWork W2373874394 @default.
- W2012246004 hasRelatedWork W4230983483 @default.
- W2012246004 hasVolume "25" @default.
- W2012246004 isParatext "false" @default.
- W2012246004 isRetracted "false" @default.
- W2012246004 magId "2012246004" @default.
- W2012246004 workType "article" @default.