Loading...
| Friend's email | |
| Your name | |
| Your email | |
| enter code | |
This page was sent successfuly
- Type of Document: M.Sc. Thesis
- Language: English
- Document No: 44344 (52)
- University: Sharif University of Technology, International Campus, Kish Island
- Department: Science and Engineering
- Advisor(s): Izadi, Mohammad
- Abstract:
- Common Object Request Broker Architecture (CORBA) is a standard for hybrid applications that is designed and supported by Object Management Group (OMG). This standard defines protocols and Relational Data Model Objects / Services which can be connected into heterogeneous software (written in different languages). So we can use CORBA to share the distributed object platform, without worrying about where they are located or who has designed them. CORBA can package the codes (in some programming languages) and add the packaging information, such as the ability to execute the codes and how to implement them. So this package or object code can execute some other programs or CORBA objects that they are in the network. CORBA uses a relational language called Interface Definition Language (IDL) to specify the interface of the classes and objects. The IDL definitions can be connected to the written codes in some popular languages such as Java, C++, Ada, and Smalltalk. To know the functionality and behaviors of objects and their interfaces, we need to abstractly model their definitions and specifications. Models are in different types (e.g., physical, mathematical, numerical, software, etc.) and have a variety of critical applications in all areas of science and technology. In other words, a summary of the facts is known as the models. Therefore, it could be mentioned that there are two objectives for the model including exploration and specification, the modeling process considers either or both of them. One of the main approaches to the modeling process is based on state-transition systems such as Kripke structures, Petri nets, and Büchi automata. The project's ultimate goal is to provide a method to model the formal behavioral specifications of CORBA objects. In this project, we use the formalism of Büchi automata as the operational semantics for the behavior of CORBA based objects. For this purpose, two different approaches that include using Petri nets as basic operational models and translating them to Büchi automata and direct using of Büchi automata are considered. Also, we show the applicability of our suggested modeling approaches by considering them in some case studies. As result, a Büchi automaton is a better model to verify a system
- Keywords:
- Buchi Outomata ; Distributed System ; PETRI Networks ; Semantics ; Common Object Request Broker Architecture (CORBA) Standard ; Interface Definition Language (IDL) ; Behavioral Specification
Digital Object List-
محتواي کتاب - view
Bookmark