Logo des Repositoriums
 

Using alloy and UML/OCL to specify run-time configuration management: A case study

Kurzanzeige
dc.contributor.authorGeorg, Geri
dc.contributor.authorBieman, James
dc.contributor.authorFrance, Robert
dc.contributor.editorEvans, Andy
dc.contributor.editorFrance, Robert B.
dc.contributor.editorMoreira, Ana M. D.
dc.contributor.editorRumpe, Bernhard
dc.date.accessioned2020-01-07T12:34:42Z
dc.date.available2020-01-07T12:34:42Z
dc.date.issued2001
dc.description.abstractThere are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare two languages, UML/OCL and Alloy, to specify a problem in one domain, the run-time configuration management of a loosely coupled distributed system, to determine which is more appropriate for this domain. The specific problem that we specify in the case study involves the run-time configuration management of an Asynchronous Transfer Mode / Internet Protocol (ATM/IP) Network Monitoring System. Neither Alloy nor UML/OCL supports the specification of key temporal aspects of the problem. This paper addresses the representation of requirements specification; continuing research will compare the usefulness of the specifications for modeling and design purposes.en
dc.identifier.isbn3-88579-335-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30850
dc.language.isoen
dc.relation.ispartofPractical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-7
dc.titleUsing alloy and UML/OCL to specify run-time configuration management: A case studyen
dc.typeText/Conference Paper
gi.citation.endPage141
gi.citation.publisherPlaceBonn
gi.citation.startPage128
gi.conference.dateOctober 1st, 2001
gi.conference.locationToronto, Canada
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
10.pdf
Größe:
391 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001