Matches in SemOpenAlex for { <https://semopenalex.org/work/W1532960937> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1532960937 endingPage "658" @default.
- W1532960937 startingPage "643" @default.
- W1532960937 abstract "Developing concurrent applications in cooperative environments is an arduous task. This is mainly due to the fact that it is very difficult to specify the synchronized interaction between the entities composing the system. Using coordination models makes this task easier. The latest trends in this area suggest that to manage the successful implementation of complex systems, coordination models must support some key features regarding the coordination constraints: their separated specification, their unanticipated evolution and their dynamic change. However, supporting these features is not only a technical challenge: it must be also guaranteed that the application of a separately specified coordination pattern to a set of encapsulated entities, or the change of the coordination constraints in an already running software system will not produce semantic errors. This is just the problem focused in this paper. In particular, a method for generating formal interpretable specifications reproducing coordinated environments is presented. The method is based on the Coordinated Roles coordination model and makes use of Maude as a formal language. The benefits obtained are: (i) easy specification using the coordination model syntax, (ii) automatic generation of the corresponding formal specification and (iii) simulation of system behaviour." @default.
- W1532960937 created "2016-06-24" @default.
- W1532960937 creator A5028549815 @default.
- W1532960937 creator A5063822285 @default.
- W1532960937 creator A5066619335 @default.
- W1532960937 creator A5088508256 @default.
- W1532960937 date "2003-12-01" @default.
- W1532960937 modified "2023-10-18" @default.
- W1532960937 title "CoordMaude" @default.
- W1532960937 cites W2126006342 @default.
- W1532960937 cites W4238794324 @default.
- W1532960937 doi "https://doi.org/10.1016/s1571-0661(05)82633-7" @default.
- W1532960937 hasPublicationYear "2003" @default.
- W1532960937 type Work @default.
- W1532960937 sameAs 1532960937 @default.
- W1532960937 citedByCount "4" @default.
- W1532960937 crossrefType "journal-article" @default.
- W1532960937 hasAuthorship W1532960937A5028549815 @default.
- W1532960937 hasAuthorship W1532960937A5063822285 @default.
- W1532960937 hasAuthorship W1532960937A5066619335 @default.
- W1532960937 hasAuthorship W1532960937A5088508256 @default.
- W1532960937 hasBestOaLocation W15329609371 @default.
- W1532960937 hasConcept C115903868 @default.
- W1532960937 hasConcept C116253237 @default.
- W1532960937 hasConcept C120314980 @default.
- W1532960937 hasConcept C127413603 @default.
- W1532960937 hasConcept C154945302 @default.
- W1532960937 hasConcept C177264268 @default.
- W1532960937 hasConcept C199360897 @default.
- W1532960937 hasConcept C201995342 @default.
- W1532960937 hasConcept C26517878 @default.
- W1532960937 hasConcept C2780451532 @default.
- W1532960937 hasConcept C38652104 @default.
- W1532960937 hasConcept C41008148 @default.
- W1532960937 hasConcept C60048249 @default.
- W1532960937 hasConcept C75606506 @default.
- W1532960937 hasConcept C84651959 @default.
- W1532960937 hasConceptScore W1532960937C115903868 @default.
- W1532960937 hasConceptScore W1532960937C116253237 @default.
- W1532960937 hasConceptScore W1532960937C120314980 @default.
- W1532960937 hasConceptScore W1532960937C127413603 @default.
- W1532960937 hasConceptScore W1532960937C154945302 @default.
- W1532960937 hasConceptScore W1532960937C177264268 @default.
- W1532960937 hasConceptScore W1532960937C199360897 @default.
- W1532960937 hasConceptScore W1532960937C201995342 @default.
- W1532960937 hasConceptScore W1532960937C26517878 @default.
- W1532960937 hasConceptScore W1532960937C2780451532 @default.
- W1532960937 hasConceptScore W1532960937C38652104 @default.
- W1532960937 hasConceptScore W1532960937C41008148 @default.
- W1532960937 hasConceptScore W1532960937C60048249 @default.
- W1532960937 hasConceptScore W1532960937C75606506 @default.
- W1532960937 hasConceptScore W1532960937C84651959 @default.
- W1532960937 hasIssue "3" @default.
- W1532960937 hasLocation W15329609371 @default.
- W1532960937 hasOpenAccess W1532960937 @default.
- W1532960937 hasPrimaryLocation W15329609371 @default.
- W1532960937 hasRelatedWork W157018852 @default.
- W1532960937 hasRelatedWork W1582151737 @default.
- W1532960937 hasRelatedWork W1977144985 @default.
- W1532960937 hasRelatedWork W2016051366 @default.
- W1532960937 hasRelatedWork W2065369774 @default.
- W1532960937 hasRelatedWork W2147880466 @default.
- W1532960937 hasRelatedWork W2151688527 @default.
- W1532960937 hasRelatedWork W2592399342 @default.
- W1532960937 hasRelatedWork W2898425611 @default.
- W1532960937 hasRelatedWork W4246531319 @default.
- W1532960937 hasVolume "82" @default.
- W1532960937 isParatext "false" @default.
- W1532960937 isRetracted "false" @default.
- W1532960937 magId "1532960937" @default.
- W1532960937 workType "article" @default.