Meeting Result

Added by Irene Havsa over 8 years ago

This thread contains the resume our of weekly meetings.


Replies (26)

RE: Meeting Result - Added by 0706165961 VIT ZURAIDA over 8 years ago

Research Meeting, Thursday, January 27th, 2011
Formal Method in Software Engineering Lab

Attendance: Mr. Sentot, Mr. Ade, Mr. Mursanto, Irene, Iis, Arwin, Amin, Mr. Bayu, Erik, Ferdinand, Pipit

The meeting discussed works to do and comparison of RBT created by Amin and Iis.

Here are the results of the meeting:
1. The conclusions from comparing behavior tree created by Amin and Iis based on the requirements of E-Passport.
a. If we are lack of requirement's details, most likely the formed BT would be different
b. BT supports the refinement by providing notation to the original requirements, additional requirements from developers, additional requirements from refinement, etc.

2. Things need to be discussed again:
a. In the requirements, incompleteness such as what can and can not be detected with BT
b. The level of requirement's details to be translated to RBT, so that comparisons between BT and UML can be analyzed accurately
c. Under what circumstances should be considered as the decent standard to stop the refinement process

To Do:
1. Ferdi: learn the TLC's source code, look for possibilities to do multithreading, embed TLC to BEText
2. Pipit: learn how BEText is work , send an email to Toby about contribution that could be done (probably translation to XML)
3. Arwin: study the process algebra of BT, determine the target language, create code generator (skeleton)
4. Bayu: create mapping BT to UML as a comparison analysis of UML and BT
5. Erik: learn semantic of BT, learn BEText
6. Iis: perform refinement of the BT e-Passport
7. Amin: create sequence diagram from the requirement of E-Passport
8. Irene: complete BT paper that has been made

December 10th, 2010 - Added by Irene Havsa over 8 years ago

December 10th, 2010. At Formal Method in Software Engineering Lab
Attendance : Mr. Sentot, Mr. Ade, Mr. Mursanto, Erik, Irene, Iis, Pipit

Result:

Case Study:

It was said on proposal that we would use 3 case studies, but we decided to use only 2, which is explained below:

  1. Railway Interlocking : to assess BTN on critial system.
  2. E-Passport : start from application submission, focus on access control part.
    To assess BTN on information system.
    This selection is based on claim that BTN is appropriate to be implemented on industry, then we will assess if BTN is applicable for general IT industry in Indonesia.

Criteria:

We decided to use these assessment criteria for BTN:
Kriteria penilaian BTN yang akan digunakan adalah:
  1. Modularity : efficiency of design formalization and verification when there are several exact same module / behavior subtree.
  2. Change Management : automation when there is a change (if there is a change in an subtree 'instance', then the other corresponding 'instance' will be changed also)
  3. Easiness of client understanding on system design

Note that whether with modularity feature the verification is still relevant and whether change management ensure that specification is still fulfilled.
Other criteria will be search by develop some formalization on case studies, then look for positive side of BTN to be used as criteria.

To Do:

  • Erik : Develop a design of renaming module, include : renaming convention, renaming procedure, etc.
  • Irene : Submit and categorize literatures on research's website. Learn from literature then develop informal requirement of railway interlocking.
  • Iis : Develop informal requirement of E-Passport system.
  • Pipit : Learn about BTN design in various case studies.

Tools:

In the next research we will develop tools for formalization and verification using BTN.
This tools will provide modularity feature (and other features) that not provided in current tools.
We not yet have that current available tools, still in negotiation process with University of Queensland.

Miscellanous:

After BTN formalization for E-Passport has fully developed, then it will be compared to the existing UML version.

December 16th, 2010 - Added by Irene Havsa over 8 years ago

December 16th, 2010. At Formal Method in Software Engineering Lab
Attendance : Mrs. Belawati, Mr. Sentot, Mr. Ade, Mr. Mursanto, Mr. Heru, Erik, Irene, Amin, Iis

Result:

International Proposal:

Main idea : Realization of Tool Support
Deadline : December 2010, 31st
Files needed : letter of intents, informal inquiry
Mr. Sentot part:
  • The steps and scheduling for the development and implementation of the tool support.
  • Man hour needed.

Model Checking with Grid Computing

Current trend in computer is to use multi core. So we have an idea to run a model checking in grid computing.
If this new technique can be implemented, then the state space explosion problem can be solved.
For this purpose, we need to do many experiment. One of the aspect to be compared is BDD in sequential vs. less structure sharing in grid.

Case Study : Railway Interlocking

To construct the requirement for railway interlocking system, we need to have the Standard Operational Procedure (SOP) of the railway interlocking officer.

January 21th, 2011 - Added by Irene Havsa over 8 years ago

January 21th, 2011. At Formal Method in Software Engineering Lab
Attendance : Mr. Sentot (video conference), Mr. Heru, Mr. Ade, Mr. Bayu, Amin, Arwin, Iis, Irene, Erik, Niken, Ferdi

Result:

Presentations:

There are 2 progress presentation:
  1. Amin's presentation : Behavior Tree Notation in general.
  2. Iis' presentation : Formalization of e-passport case study. Defect analysis.

Amin also has develop Behavior Tree for the same case study, but with significantly different result.
This is because they have different point of view for this problem.
Amin's version might be a kind of refinement of Iis'.

Possible Task

Debugging Tools. Integrare still have many weakness to improve.

Topics

  1. Mr. Bayu : Transformation from Behavior Tree diagram to concrete
  2. Ferdi : Model checker in grid computing.
  3. Arwin : Still looking for possibility

Miscellanous:

BTN need more complete user manual. So we can decide when to use a symbol rather than the others.

RE: Meeting Result - Added by 0706165961 VIT ZURAIDA over 8 years ago

February 10th, 2011. At Formal Method in Software Engineering Lab
Attendance : Mr. Sentot, Mr. Ade, Mr. Mursanto, Irene, Iis, Arwin, Mr. Bayu, Erik, Ferdi, Pipit, Niken, Arzaki

Result

Case Study:

We will have AVC (Automated Vehicle Classifier) as another case study for behavior engineering project. AVC can classify vehicles
to one of five classes (based on amount of its tires and axles) then print the appropriate tol card.

Pusilkom UI is requested to select the best desain from 2 vendor that have been choosed by Jasa Marga. One of those
desains has been implemented in Cikarang without simulation before so it still has some faults, in example, a vehicle
isn't classified to the right class because it's too fast.

Progress Report and To Do:
1. Arzaki : check any chance for modeling protocol security, check any chance for proving spesification with deviation calculus, define the maximum speed so vehicles can be classified accurately
2. Ferdi, Pipit : TextBE
3. Irene : complete the paper and prepare research resource. Irene will have presentation for the next meeting
4. Iis : learn the new case study
5. Niken : learn TLA more
6. Mr. Bayu : do mapping from use case scenario (in UML) to BT
7. Arwin : has learned about operator anf constanta in process algebra for basic BT, will learn about communication in PA
Steps : formalize the equation
check for completeness and soundness

RE: Meeting Result - Added by 0706165961 VIT ZURAIDA over 8 years ago

February 17th, 2011, at Small Meting Room, A Building
Attendance : Mr. Sentot, Mr. Ade, Mr. Mursanto, Irene, Iis, Arwin, Mr. Bayu, Erik, Ferdi, Pipit, Niken, Amin, Arzaki, Ahmadi

Result:

Almost all informations about last meeting could be seen in file "WeeklyMeeting_20110217" attached above.
Here is some informations added.

Administration:
Our candidate partner for this reverse engineering project is PLN. It is an important thing to communicate with PLN that
we are not great with the behavior engineering yet and we hope that they will be our partner in this research.

Case Study:
1. Amin will look for and learn about methodology to compare UML and BT.
The criteria will be made later because UML diagram for E-Passport was built without that criteria as well.
2. Iis have been studied the spesification of AVC design. BT will be make based on the grapical requirements (with tagging).
They aren't necessarily translated to natural language first.
3. Refinement checker will be done by simulation.
4. Fuzzy logic is used for computation, not for engineering. Mr. Ade prefers that fuzzy logic isn't used for reasoning
in behavior engineering. But we'll see Arzaki's research for this month about that.

RE: Meeting Result - Added by 0706272055 NIKEN LISTYA PRATIWI over 8 years ago

Weekly Meeting Report
Thursday, February 24, 2011; FMSE Laboratory
Attendances: Mr. Ade, Mr. Mursanto, Mr. Sentot, Arwin, Arzaki, Mr. Bayu, Erik D., Ferdiansyah D., Iis S., Irene U., Niken L., Vit Z.

What was happened on yesterday meeting:
  • Progress report by Vit Z. and Ferdiansyah D. about BT tools and several questions mainly about BT’s visualization problem.
  • Presentation about BT model on AVC case study by Iis S.
  • Presentation about model checking (railway interlocking case study) by Irene U.
  • Others:
  • Question about other duration calculus books/references (Arzaki)
  • Questions about CSP problem (Arwin)
The results:
  • Grant proposal status
  • The pre-grant proposal had already submitted on February 23th. And the deadline of the actual/complete proposal is March 11, 2011.
  • Proposal’s progress report is required on March 9th, and its presentation is on March 14/15th.
  • For next week meeting:
  • Presentation -> Erik D.
  • Revision on BT’s model of AVC case study -> IIs S.
  • Progress report of the grant proposal

RE: Meeting Result - Added by 0706272055 NIKEN LISTYA PRATIWI over 8 years ago

Weekly Meeting Report
Thursday, March 3, 2011; FMSE Laboratory
Attendance: Mr. Ade, Mr. Sentot, Arwin, Arzaki, Mr. Bayu, Erik, Ferdi, Iis, Irene, Niken, Vit, Elvi, Imam

Erik’s Presentation:

The presentation was about programming/scripting language he created, Plang whose grammar is a way more simple than other scripting languages (almost regular if we ignore the scoping matter). The Presentation also contains information about the implementation of factorial and graph visualization on this language.

Ferdi’s Presentation:
He showed us the behavior tree visualization tool (TextBE) on Eclipse and some example of Requirement Behavior Tree (RBT), Design Behavior Tree (DBT), Integrated Behavior Tree (IBT) visualizations with this tool.

Related to contribution on developing TextBE, here is the divided work for Ferdi and Vit:
  • Vit : Composition Tree Visualization
  • Ferdi : DBT’s simulator

For next week meeting: Presentation from Arwin

March 10, 2011 - Added by 0706272055 NIKEN LISTYA PRATIWI over 8 years ago

Weekly Meeting Report
Thursday, March 10, 2011; FMSE Laboratory
Attendance: Mr. Ade, Mr. Sentot, Amin, Arwin, Arzaki, Mr. Bayu, Erik, Ferdi, Iis, Irene, Niken, Vit

Arwin's Presentation:

Arwin explained to us about his study in CSP (Communicating Sequential Process). CSP is a formal language for describing concurrency on system.
He told us that at first he had difficulties to understand the CSP because he learned this subject without prior knowledge of process algebra.
So, based on his experience, it would be much easier for us to understand CSP if we had studied process algebra beforehand that related to this subject, such as equational logic (signature, axiomatisation, initial model, term rewriting).

The study about CSP was related to get a better understanding of the semantic of behavior tree.
With better understanding of the semantic, it will be helpful in flow analysis process and code generator thing.

For next week's presentation: Vit, Ferdi, Iis, Mr. Bayu

March 17, 2011 - Added by 0706272055 NIKEN LISTYA PRATIWI about 8 years ago

Weekly Meeting Report
Thursday, March 17, 2011; FMSE Laboratory
Attendance: Mr. Ade, Mr. Mursanto, Mr. Sentot, Amin, Arwin, Arzaki, Mr. Bayu, Erik, Ferdi, Iis, Irene, Niken, Vit

Mr. Bayu's Presentation:
Mr. Bayu delivered us his progress report on studying B-Method and Atelier B. B-Method is a method on software development based on B language.
Atelier B is a tool that use B-Method to develop defect-free proven system. In studying B language inevitably we need to have basic background on set theory. In Atelier B first we describe the specification of system. After that, we can do syntax verification, automatic proofing, or translation of B to C language (supported language for the free version of Atelier B). In order to give us a better understanding on this tool, Mr. Bayu also gave us an explanation on a case study about railway signalling. He showed us the specification and its B source code and then automatically translated it to C language.

Iis's Presentation:
The presentation was a continuation of previous presentation about modelling AVC's case study on BT. There were some revision need to address from previous presentation which was being discussed on this presentation. The issues/revisions was mainly about the behavior of the AVC itself and there was other issue:
- on integrating RBT, there was a case where one components had two components as its previous behavior but then it was all just about notation problem (use macro or reference)

Because of the time, presentation of Vit and Ferdi are delayed to the next schedule meeting.

RE: Meeting Result - Added by 0706165961 VIT ZURAIDA about 8 years ago

Weekly Meeting Report
Thursday, March 24th, 2011; FMSE Laboratory
Attendance: Mr. Ade, Mr. Mursanto, Amin, Arwin, Arzaki, Mr. Bayu, Erik, Iis, Niken, Vit

Meeting Result:

Vit's Presentation about Composition Tree
Some important points stated are:
  1. Composition Tree is one of Behavior Engineering diagram that represent component composition of the whole system being developed.
    It also contains detail information of each component like state, event, and relation.
  2. Composition Tree is like a controlled vocabulary of behavior engineering. Although this diagram is optional, but it will be very important in developing complex software or in a software engineering with many developers
  3. TextBE is a open source tool for behavior engineering which automate a graphical representation textual representation. It is different form Integrare as a graphical editor.

To have a complete presentation, see https://kode.poss.or.id/attachments/download/687/Composition_Tree_in_TextBE.ppt

Because Ferdi couldn't attend the last meeting, Ferdi's presentation delayed to April 7th 2011

April, 7, 2011 - Added by 0706272055 NIKEN LISTYA PRATIWI about 8 years ago

Weekly Meeting Report
Thursday, April 7, 2011; FMSE Laboratory

Attendance: Mr. Ade, Mr. Mursanto, Mr. Sentot, Amin, Arwin, Arzaki, Mr. Bayu, Erik, Ferdi, Iis, Irene, Niken, Vit

Initially, Ferdi's job was to give a contribution on TextBE by developing DBT simulator. But, after conducting some assessments on the visibility of this job, it was concluded that it would be too difficult to finish that job due to time constraint and pre-requisite subjects to learn.

In TextBE, the graphical visualization of BT is static. That is why, it is quite difficult for someone who intend to use and study the syntax and the semantic of the BT graphical notation. It would be good if we can animate the visualization while user tracing the code to enhance the user's understanding specifically on the state transition. Actually, Mr. Myers, developer of the TextBE, has been researching this possibility to animate the graphical visualization and has been successed in implementing it in .svg format but the thing is, it is limited to firefox browser only. Hence, Ferdi's job is to asses the possibility to make this animated visualization on the TextBE in Eclipse. This is related to developing additional file extension for .bt, .bttrace for the animated visualization purpose. To make this happen, there are some issues to consider:
  • Eclipse uses Batik svg which doesn't support animation that has previously been developed by Mr. Myers
  • Defining the relation between .bttrace file and .bt
  • Making metamodel bttrace.ecore and bttrace.cs (EMFText Specification)
  • Defining Java Emitter Template for ecmascript code generation in BE Visualizer
Possibility of .bttrace to see the visualization:
  • Directly visualize while tracing
  • Use Modelica to execute and generate the animation

Other alternative to create .bttrace visualization:
BT -> SAL -> model checker -> tracing from counter example -> .bttrace (has direct reference to original bt) -> animated visualization .svg

In short, Ferdi's task: focus on assessing the possibility to embed EcmaScript to .svg, it will be used for proven concept for future development of animated visualization on the TextBE.

April 14, 2011 - Added by 0706272055 NIKEN LISTYA PRATIWI about 8 years ago

Weekly Meeting Report
Thursday, April 14, 2011; FMSE Laboratory

Attendance: Mr. Ade, Mr. Sentot, Amin, Arzaki, Mr. Bayu, Erik, Ferdi, Iis, Irene, Niken, Vit

Today, Iis continued the presentation about AVC model (vendor 1) on BT. There were some discussions related to LTL specification of the model: G(vi -> s U ci). This specification means that if vehicle enter the GPO, the sensors will be enabled until the card is processed. It does define the guarantee of the sensor to be enabled but it doesn't for the card to be processed. So it needs additional definition: "if no vehicle is detected in GTO, sensor is disabled".
Another issue noted in today's Iis presentation is about the weakness of BT modelling as well as other modelling method that focus on the behavior of system: it lacks the ability to modelling quantitative/data matter.

Next task for Iis: still going with AVC modelling for vendor 1 but with addition in breakdowning the sensors and analyzing their interaction.

Amin's presentation: he continued the explanation about e-Passport modelling.
From his experience on modelling this study case, he gave some suggestions related to modelling process using BT notation:
  • in paralel working, it would be good if we already have defined the vocabulary to use for modelling the requirements
  • it's true that working on Composition Tree (CT) and BT should be done simultaneously

Next task for Amin: continue the modelling to the next phases as required on Behavior Engineering, report the experience (working time, difficulties) gained while modelling the requirement.

Next week's presentation: Mr. Bayu and Niken.

April 21, 2011 - Added by 0706272055 NIKEN LISTYA PRATIWI about 8 years ago

Weekly Meeting Report
Thursday, April 21, 2011; FMSE Laboratory
Attendance: Mr. Azurat, Mr. Kromodimedjo, Mr. Tenoyo, Amin, Arwin, Arzaki, Erik, Iis, Irene, Niken

On our last meeting, Niken presented about case study on health care agency and modeling approach using Formal Tropos (http://www.troposproject.org/). The case study was also being modeled using BT and for rendereing the behavior tree model, TextBE Tool had been used. There is a bug found on this tool when saving the model rendered, instead of -- operator, the one that appear on the saved model is its ASCII character.

Mr. Tenoyo's presentation described about Abstract Machine for modelling and specifying the system; the notation, its usage and some examples.

For tomorrow presentation: Arzaki and Mr. Azurat.

April 21, 2011 - Added by Ade Azurat adea about 8 years ago

Dear All,

I'm sorry i have to cancel my presentation.
I have been scheduled for a pingpong match in Dean's Cup
this afternoon :)
Merryl will give presentation on my behalf. She will present
her progress on pairwise test case generator.
This work is inspired by Paul Strooper's presentation in Fasilkom
a couple of months ago.

I've some discussion on how to have a kind of logging and runtime
testing with Behaviour Tree with my former supervisor in Utrecht.
I think it is an interesting idea,
not to mention that his team got an FP7 research grant :)
We may want to consider this suggestion as our future work.
Therefore, i have asked Merryl to join our meeting
and give presentation of her progress.

I'm sorry for such a short notice.

kind regards,
Ade Azurat

On Thu, 28 Apr 2011 11:07:20 +0700, <> wrote:

https://kode.poss.or.id/boards/59/topics/1426?r=1667#message-1667
0706272055 NIKEN LISTYA PRATIWI

Weekly Meeting Report
Thursday, April 21, 2011; FMSE Laboratory
Attendance: Mr. Azurat, Mr. Kromodimedjo, Mr. Tenoyo, Amin, Arwin,
Arzaki, Erik, Iis, Irene, Niken

On our last meeting, Niken presented about case study on health care
agency and modeling approach using Formal Tropos
(http://www.troposproject.org/). The case study was also being modeled
using BT and for rendereing the behavior tree model, TextBE Tool had
been used. There is a bug found on this tool when saving the model
rendered, instead of -- operator, the one that appear on the saved model
is its ASCII character.

Mr. Tenoyo's presentation described about Abstract Machine for modelling
and specifying the system; the notation, its usage and some examples.

For tomorrow presentation: Arzaki and Mr. Azurat.

--
Using Opera's revolutionary e-mail client: http://www.opera.com/mail/

RE: Meeting Result - Added by 0706165961 VIT ZURAIDA about 8 years ago

Weekly Meeting Report
Thursday, April 28, 2011; FMSE Laboratory

Attendance: Mr. Azurat, Mr. Kromodimedjo, Mr. Tenoyo, Amin, Arwin, Arzaki, Iis, Irene, Niken, Vit, Merryl, Ferdi

Merryl's presentation about Pairwise Testing:
  1. For the "normal software testing" with k parameter and g possible value, the number of total configuration is g^k
  2. Coverage array is used to minimize the number of test case that covers all actual configurations to find all possible error
  3. The number of test case with coverage array depends on algorithm used
  4. Pairwise testing is an effective test case generation technique that is based on the observation that most faults are caused by interactions of at most two factors (Czerwonka, Jacek)
  5. Degree of interaction coverage for pairwise testing is 2, so the test cases generated will cover all possible combination between values of 2 parameter

<b>aku</b>

Arzaki's presentation about Duration Calculus for Study Case AVC:

We will have Ferdi's and Mr. Azurat's presentation for the next weekly meeting

Thank You

May 5, 2011 - Added by 0706272055 NIKEN LISTYA PRATIWI about 8 years ago

Weekly Meeting Live Report
Thursday, May 5, 2011; FMSE Laboratory
Attendance: Mr. Azurat, Mr. Kromodimedjo, Mr. Mursanto, Amin, Arwin, Arzaki, Mr. Tenoyo, Erik, Ferdi, Iis, Irene, Niken, Vit

Mr. Bayu presents his work on modeling the AVC case study on abstract machine that previously modeled by Iis on BT notation.
He says that the BT model of Iis's work has given him quite a help on understanding the behavior of the system.
This shows additional example when the claim that BT model makes it easy to understand the system behavior is making sense,
even from the perspective of people outside the model creator.

Mr. Bayu says that Atelier B is quite helpful when he need to prove the specification and it has been proven wrong,
it would show which part of invariant and the statement that are not correct.

For Ferdi's presentation, he gives an explanation and demo of the syntax in TextBE on rendering the BT model.
He also shows us the progress of his current work on embedding animation on TextBE visualization.

After that, there is an explanation of AVC detail requirement by Mr. Mursanto.
It is related to the next work by Arzaki on modeling AVC case study using duration calculus.

RE: Meeting Result - Added by 0806334810 Fitria Wulan almost 8 years ago

Research Meeting, Thursday, June 9th, 2011
Formal Method in Software Engineering Lab

Attendance: Mr. Azurat, Mr. Sentot, Amin, Arwin, Arzaki, Mr. Tenoyo, Erik, Ferdi, Iis, Irene, Niken

The meeting discussed about FMSE Members' works so far. Mr. Tenoyo, Iis, Amin, Arwin, Arzaki, Erik, and Ferdi discussed more to Mr. Sentot about their works.

Here are the results of the meeting:
  1. Iis discussed to Mr. Sentot and other members about study case papers that she should read and learn from, the translations, and also some classification of test cases. Her next to do work is to find the defect of the translation.
  2. Amin discussed about AVC and modelica with behavior engineering in his work for hybrid system.
  3. Arwin discussed about the correlation about his work's attributes and the methods.
  4. Arzaki discussed about duration calculus to normalize, branching time interval logic, isomorphic of natural numbers, and also about the discrete mathematics.
  5. Erik discussed about Behavior Tree for model check and the integration of GTLP to SA.
  6. Ferdi discussed about his final project's works so far, on how he already made an animation and plugin so that it could run on eclipse, then the translation of BT Trace. He also asked about the SAL Translation and would try SAL that Irene has made then ask her more about it.

Things need to be discussed again:
Discuss more about their works and things that hold up their works.

To Do:
  • Ferdi and Niken: to discuss about there final project report to Mr. Sentot next week.

RE: Meeting Result - Added by 0806334810 Fitria Wulan almost 8 years ago

Research Meeting, Thursday, June 16th, 2011
Formal Method in Software Engineering Lab

Attendance: Mr. Sentot, Mr. Ade, Ferdi, Irene, Iis, Erik

The meeting discussed Ferdi's final project report to Mr.Sentot and other members.

Here are the results of the meeting:
  1. Ferdi's final project report is "Design And Implementation Simulation Language For
    Requirement Engineering In Form Of Behavior Tree Animation in TextBE (Textual Editor For Behavior Engineering) "
  2. The Abstract:
    Requirement Engineering has become a big issues in developing a large scale system. UML (Unified Modeling Language) as one of modeling requirement tools which commonly used by people, doesn't have justification for the system that has been modeled. Behavior Engineering as one of the requirement modeling tools, has its own semantics and notations which are used for verification process for the software system being modeled. Behavior Engineering represent system's model with a diagram named Behavior Tree. Notations and semantics in Behavior Tree can be simulated by showing animation for Behavior Tree so that the result can be analyzed to the behavior of software system being modeled. TextBE is a Textual Editor for Behavior Engineering which is developed in Eclipse environment. Textbe can visualize Behavior Tree diagram by using its own textual representation. This Thesis will discuss about design and implementation of simulation language for Requirement Engineering in form of Behavior Tree
    animation in TextBE.

Things need to be discussed again:
Discuss more about what title is appropriate for Ferdi's final project report.

To Do:
  • Niken: Discuss about her final project report to Mr. Sentot as soon as possible

RE: Meeting Result - Added by 0706165936 MAYA RETNO AYU S over 7 years ago

Research Meeting
Date / Time : Thursday, November 24th, 2011 / 04.00 PM
Place : FMSE Laboratory

Attendance : Mr. Ade, Irene, Emerson, Maya, Arzaky, Ahmadi

Agenda:
1. Emerson's presentation about ABS and transational BTN to ABS
2. Research Planning by Mr. Ade Azurat

Meeting Result:
1. Emerson presents Translation Scheme BT to ABS
2. Emerson shows comparison of BT and ABS codes that have been made ??directly
3. Mr. Ade's suggestions to Emerson:
- Use PC because its additions are generic
- Use existing rules only, do not make new rules since it has high risk. So translate BT to ABS use existing rules.

To do:
1. Emerson shares slide to Toby and Mr. Sentot
2. Irene helps Emerson to make BT

RE: Meeting Result - Added by 0706165936 MAYA RETNO AYU S over 7 years ago

Research Meeting
Date / Time : Thursday, December 1st, 2011 / 04.00 PM
Place : FMSE Laboratory

Attendance : Mr. Ade, Emerson, Maya, Ishak, Arzaky, Ahmadi, Irene

Agenda:
1. Presentation Final Project by Emerson
2. Research Planning by Mr. Ade Azurat


Meeting Result:

1. Presentation of Final Project Progress by Emerson (slide attached)

Mr. Ade response:
  • UML can generate code that can be shaped state diagram (Please check again)
  • Appearance with Behavior Tree better than Software Metodologies has ambiguous meaning.
    Behavior Tree should be closer to the needs, while Software Metodologies closer to the user's intent.

Correction:
Additional Frameworks: Eclips as IDE, TextBE as Tools, ABS Plugin as what?
ABS plugin as Tools that embed in Eclipse Plugin

2. Second Agenda is canceled

To do:
Emerson will present this progress at the monthly meeting.

Emerson__ABS.pptx - Emerson's slide presentation (518 KB)

RE: Meeting Result - Added by 0706165936 MAYA RETNO AYU S over 7 years ago

Montly Meeting
Date / Time : Friday, December 2nd, 2011 / 01.00 PM
Place : FMSE Laboratory

Attendance : Mr. Ade, Mr. Sentot, Maya, Ahmadi, Emerson, Arzaki

Agenda:
1. Lunch
2. Presentation of Final Project Progress by Emerson

Meeting Result:
1. Conference with Mr. Sentot succesfully connected.
2. Mr. Ade explain the latest condition of FMSE
  • Explanation Emerson's work about Translation ABS to B-Tree
  • Next plan, integration between Niken's, Ferdi's, and Emerson's works.
    We will recuit Ishak (alumni) and one students to help integration process.
3. Emerson's Presentation:
  • Emerson explain to Mr. Sentot translation process from ABS to B-Tree
    Advice from Mr.Sentot:
    Since there are many translation for state, do not translate. Except for inversion is not that easy to be a loop because it has to kill sibling process.

RE: Meeting Result - Added by 0706165936 MAYA RETNO AYU S over 7 years ago

Weekly Research Meeting
Date / Time: Friday, December 9th, 2011 / 04.00 PM
Place: FMSE Laboratory

Attendance: Mr. Ade, Mr. Sentot, Maya, Ahmadi, Emerson (i), Arzaki

Agenda:
1. Ahmadi's Presentation
2. Research Plan by Mr. Ade

Meeting Result:

1. Mr. Ade share of participation in the Workshop Kansas State University
- Grant from USAID> $ 1000
- Projects funded should be judged more applicable, due to Health or Economic Growth, or Target Development of Education for High School
- Mr. Ade will make a summary of the workshop yesterday

2. Ahmadi’s Presentation:
Title: Formalization of Digital Design using the hol theorem provers, Case Studies Register Reset_REG
Mr. Sentot question, Is it registers the same as the Flip Flop? Ahmadi less know the answer
Suggestion: Presentation was made simpler, not everything must be explained

3. Further planning
- Focus on Behavior Engineering, Ahmadi continue the project Mr. Ade
- Target next, Formal Methods Tool, complement from Model Checker . This is a continuation of Ahmadi’s Research
- Ishak will combine the craftsmanship Niken, Ferdi, and Emerson
- Mr. Ade plan to create a concept proposal for USAID, March deadline, there is still time looking for a partner to the workmanship
- Recommendation of Mr. Sentot to Sugih Jamin (Associate Professor) University of Michigan

To do:
Arzaki will present his thesis next week

RE: Meeting Result - Added by 0706165936 MAYA RETNO AYU S over 7 years ago

Weekly Research Meeting
Date / Time: Friday, December 16th, 2011 / 19.30 PM
Place: MTI, UI Salemba

Attendance: Irene, Ishak, Mr.Sentot, Mr. Ade, Ahmadi, Arzaki, Maya, Ferdi

Agenda:
1. Presentation from Ferdi

Meeting Result:
1. Opening
  • Conference with Mr. Sentot
  • Related discussion about the business incubator in Fasilkom
  • The development process for the BT business plan
2. Presentation of Ferdi’s previous work (TA)
  • Presentation from File .ppt April 7, 2011 and Ferdi's Ta's document
  • Text Animation BE
3. The design of Mr. Ade
  • Niken translated BT-> SAL
  • Ferdi translated BT -> Trace -> Animation
  • Econ translated BT -> ABS -> Java
  • Design

Requirement Text -> UML by latifaah UML
Next UML -> BT
Has implemented:
BT -> SAL -> Text -> Trace -> Animation
BT -> Trace -> Animation
BT -> ABS -> Java

Not yet implemented from SAL to Trace, from Text to Trace, but we have to take care translate from Text to Trace

Next plan: Propose Proposal Integration

1 2 (1-25/26)