Papers by Marjan Sajjadi
Common Object Request Broker Architecture
(CORBA) is a standard for hybrid applications
that is d... more 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
paper's ultimate goal is to provide a method to
model the formal behavioral specifications of
CORBA objects. In this paper, 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.
Teaching Documents by Marjan Sajjadi
Uploads
Papers by Marjan Sajjadi
(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
paper's ultimate goal is to provide a method to
model the formal behavioral specifications of
CORBA objects. In this paper, 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.
Teaching Documents by Marjan Sajjadi
(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
paper's ultimate goal is to provide a method to
model the formal behavioral specifications of
CORBA objects. In this paper, 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.