Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-7, Issue , 2001, Pages 128-141

  Georg, Geri ^a   Bieman, James ^b   France, Robert ^b  

^a AGILENT LABORATORIES   (United States)

^b Department of Computer Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS TRANSFER MODE; SPECIFICATIONS;

CASE-STUDIES; COMPLEX SOFTWARE SYSTEMS; CONFIGURATION MANAGEMENT; DISTRIBUTED SYSTEMS; INTERNET PROTOCOL NETWORKS; LOOSELY COUPLED; OPTIMAL METHODS; PROBLEM DOMAIN; RUN-TIME CONFIGURATION; SPECIFIC PROBLEMS;

ALLOYS;

EID: 85134600809     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Fowler, M.; Scott, K.: UML Distilled. Addison-Wesley, 1997.
2. Hall, A.: "Using Formal Methods to Develop an ATC Information System." IEEE Software March 1996: 66-76.
3. Jackson, D.: "A Comparison of Object Modeling Notations: Alloy, UML, and Z." Http://sdg.lcs.mit.edu/~dnj/publications.html, August, 1999.
4. Jackson, D.: "Automating First-Order Relational Logic." ACM Foundations of Software Engineering (2000).
5. Jackson, D.: "Enforcing Design Constraints with Object Logic." Static Analysis Symposium 2000 June/July 2000. Springer Verlag.
6. Jackson, D.: "Alloy Revisited." IFIP 2.9, Hawks Cay, Florida, February, 2001.
7. Jackson, D.: "Alloy: A Lightweight Specification Language Draft Language Notes." MIT Lab for Computer Science, January, 2001.
8. Jackson, D.: "Alloy: A Micro Modelling Language." IFIP 2.3, Santa Cruz, January, 2001.
9. Jahanian, F.; Mok, A.; Stuart, D.: "Formal Specification of Real Time Systems." TR-88-25. Department of Computer Sciences, The University of Texas at Austin, 1988.
10. Jackson, D.; Schechter, I.; Shlyakhter, I.: "Alcoa: The Alloy Constraint Analyzer." Proceedings International Conference on Software Engineerin June 2000.
11. Larman, C.: Applying UML and Patterns. Prentice Hall, 1998.
12. Mattolini, R.; Nesi, P.: "An Interval Logic for Real-Time System Specification." IEEE Transactions on Software Engineering March/April 2001.
13. Manna, Z.; Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, 1992.
14. OMG. "OMG Unified Modeling Language Specification." V1.4 draft, February, 2001.
15. Richters, M.; Gogolla, M.: "Validating UML Models and OCL Constraints." Proceedings UML 2000 (2000).
16. Warmer, J.; Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, March, 1999.
17. Parallel and Distributed Computing Handbook. Edited by Albert Zomaya. McGrawHill, 1999.