UML-driven information systems and their formal integration validation and distribution

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

Volumn , Issue , 2007, Pages 63-73

  Aoumeur, Nasreddine ^a   Saake, Gunter ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COBALT; COMPUTER SOFTWARE; FORMAL METHODS; GRAPH THEORY; MARINE BIOLOGY; OBJECT ORIENTED PROGRAMMING; PETRI NETS; STANDARDIZATION; TECHNICAL PRESENTATIONS; UNIFIED MODELING LANGUAGE;

CONCEPTUAL MODELS; GLOBAL VIEWS; IMPLEMENTATION PHASES; OBJECT-ORIENTED; PRODUCTION SYSTEMS; PROTOTYPING; REWRITING LOGICS; SEMI AUTOMATICS; SUPPORTING TOOLS; SYSTEMS DEVELOPMENTS;

INFORMATION SYSTEMS;

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

References (5)

1. Jungclaus, R., Wieringa, R.J., Hartel, P., Saake, G., Hartmann, T.: Combining TROLL with the Object Modeling Technique. In Wolfinger, B., ed.: Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software. Informatik aktuell, Springer (1994) 35-42
2. Wirsing, M., Knapp, A.: A Formal Approach to Object-Oriented Software Engineering. ENTCS 4(1996)
3. Booch, G., Jacobson, I., Rumbaugh, J., eds.: Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley (1998)
4. Aoumeur, N., Saake, G.: A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data and Knowledge Engineering 42 (2002) 143-187
5. Meseguer, J.: Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. In: ECOOP'93 - Object-Oriented Programming. Volume 707 of Lecture Notes in Computer Science., Springer (1993) 220-246