Software Engineering, Software Process, Software Testing, Software Design, Design Pattern, Software Architecture Guide
Blog ช่วงนี้เป็นการสรุปลง Program ล้วนๆ เผื่อต้องมาทำเล่ม Project ตอนหลังจะได้ไม่ต้องระลึกชาติครับ สำหรับ Blog ตอนนี้เป็นการลงตัว BPMN 2.0 Designer บน Editor ยอดนิยมอย่าง Eclipse ครับ โดยการลงมีขั้นตอน ดังนี้ Step 1: เตรียมตัว Step 2: ติดตั้ง Step 3: Test
หลังจาก Setup Apache Tomcat ไปแล้ว และรู้ Overview ของ Activiti ฺBPMN Framework คราวที่มาลงกันลองคิดตั้งกันคิดว่าครับ โดยมีขั้นตอน ดังนี้ Step 1 : เตรียมตัว Step 2 : แตกไฟล์ Activity Framework Step 3 : Deploy .War จากนั้น Start Tomcat โดยผ่านไฟล์ startup.bat (Windows) หรือ startup.sh (Unix & Linux) รอ Tomcat…
ตัว BPMN เองนั้นย่อมาจาก “Business Process Model and Notation” โดยทำขึ้นมา เพื่ออธิบายกระบวนการทางธุรกิจ และเป็นสื่อกลางที่ทุกคนที่เกี่ยวข้องใช้ในการสื่อสารครับ ซึ่งภาพรวมของมันมีลักษณะคล้ายๆกับฟพวก Flow Chart หรือ ถ้าหากใครคุ้นเคยกับ UML เจ้า BPMN มันคล้ายกับ Activity Diagram มากๆครับ โดยตัว BPMN มีองค์กรกลาง OMG (Object Management Group) สร้างมาตรฐานกลาง สำหรับตัว BPMN มีประวัติคร่าวๆ ดังนี้ Flow objects: Type Description Example Events…
เวลาที่เราปั๊น Software ที่ได้มาจาก Requirement (มี Blog ความรู้ เคสต่างๆจดๆด้วย) ที่เป็นน้ำๆ ออกมาเป็นกลุ่มก้อน เป็น Prototype แล้ว สิ่งที่เราควรทำมีอะไรบ้าง เพื่อให้ User ช่วย Confirm ว่าไอ้ที่เราปั๊นน้ำเป็นตัวขึ้นมาเนื่ย มันเป็นสิ่งที่ใช้นะ แต่เวลาเอาไปให้ User ใช้งานจริง มักจะเกิดปัญหา แล้วเราแก้ปัญหาอย่างไร – ถ้า User ยุ่งจริงๆ 📌 Observation + ฺMeeting :- การสังเกตุ แต่จริงๆ ทำยากนะ เพราะ มันมี Policy…
สำหรับคำศัพท์นี้ ผมเพิ่งเคยได้ยินนะ โดยไปเห็นจาก Paper “Does It Fit Me Better? User Segmentation in Requirements Engineering” ที่ต้องนำเสนอในวิชา Seminar ครับ แต่พอลองไปค้นๆดู คำๆนี้มันมีมานานมากแล้ว ที่ผมบองไปคุ้นๆ ใน Google เจอ Paper ที่กล่าวถึงคำนี้ตั้งแต่ปี 1995 แล้วครับ แล้วมัน คือ อะไร ไอ้เจ้า People Oriented Software (POS) แล้วตัวอย่างที่เห็นจับต้องได้จริง มันมีไหน คำตอบมีครับ Individuals and…
ช่วงนี้หลังจากทำ Term Project เกี่ยวกับระบบ Lift ผมเลยอยากจดไว้ก่อนว่าตัวโปรแกรม SPIN GUI ที่เขียนโดยภาษา Promela สามารถทวนสอบ Linear time Temporal Logic(LTL) ได้อย่างไรครับ โดยทำตามขั้นตอน ดังนี้ สิ่งที่ต้องมี ขั้นตอนการทวนสอบ LTL ใน Spin GUI หมายเหตุ: ในส่วนของการ #define ไม่ต้องใส่ ; ต่อท้าย
หลังจากเรียนทฤษฏีแล้ว ลงโปรแกรม แล้ว อ ให้ลองปฏิบัติจริงครับ โดยการลองใช้ตัว CPN มาเขียน Coloured Petri net ตาม Workshop แต่ละข้อครับ เกริ่นนำ Coloured Petri net ตัว Petri net เป็นการ Modeling(จำลอง) ระบบขึ้นมา เพื่อตรวจสอบเรื่อง Concurrent ครับ ส่วนประกอบ Workshop ที่ทำกันครับ ปัญหาที่เจอ หลักๆที่เจอเลย คือ ว่า Notebook ผมใช้ตัว CPN Tools เวอร์ชั่นล่าสุดไม่ได้ครับ
สำหรับ Blog นี้ หลังจากลอง Spin แบบมืนๆงงๆกันมาแล้ว คราวนี้มาลองลงตัว CPN Tools ซึ่งเป็นเครื่องมือสำหรับจัดการพวก Petri nets หรือ Colored Petri nets ครับ โดย Tools เป็นการพัฒนาด้วยภาษา Java ครับ มาเริ่มลงโปรแกรมกันดีกว่า ขั้นตอนการลงโปรแกรม สำหรับการลง CPN Tools ดูลงง่ายกว่าการลง SPIN ในครั้งก่อนเยอะครับ หรือว่า Tools ที่จำเป็นบางตัวมันลงไปแล้วตอนลง Spin โดยโปรแกรมนี้เป็น GUI แล้ววาดพวก Graph ครับ น่าจะดูง่ายและเข้าใจง่ายนะครับ (ความเห็นก่อนเรียนจริง ฮ่าๆ)…
วันนี้เรียนวิชา Formal เรื่อง Coloured Petri Net เห็นใน Slide มันเขียน n-tuple ซึ่งการเขียน n-turple กับ n turple มันสื่อความหมายต่างกันออกไปครับ โดยที่ ถ้ายังงงลองมาดูตัวอย่างเสริมกันครับ ถ้าใครอ่าน paper บ่อยๆ คำนี้ถูกใช้บ่อยมากครับ ดูเป็นศัพท์วิชาการมากกว่าคำว่า Column และ Record ครับ
ปัญหานี้มีผู้เชี่ยวชาญตรรกะ 3 คน เข้าไปกิน Beer ที่ร้าน พอเข้าไปในร้าน คำถาม คือ ทำไมผู้เชี่ยวชาญตรรกะคนสามตอบ Yes เค้ารู้ได้อย่างไรว่าอีก 2 คนจะกิน ฺBeer ด้วย คำตอบ คือ
