KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2020 proceedings of the 13th.

Preface
Keynote Speech
A SPN Holistic Approach for Automatic Deep Understanding of Technical Documents Nikolaos G. Bourbakis Wright State University, Ohio, USA Nikolaos.bourbakis@wright.eduAbstract. For many decades, scientists and practitioners have been developing methodologies for solving simple or complex scientific problems. Lately, they have been creating synergies of different methodologies in order to address and solve more complex problems, but they have to face issues of compatibility among the different modalities that compose these scientific problems. One of these complex problems is the deep processing and understanding of technical documents, which are composed by different modalities, such as natural language text, system diagrams, mathematical formulae, algorithms, tables, graphics, pictures. Humans have the ability to understand, process and associate these modalities to significantly contribute to the overall deeper understanding of the technical document and the knowledge represented in it. Thus, this talk offers a possible solution to these multi-modal complex problems by expressing all the modalities into the same medium (in this case the Stochastic Petri-nets (SPN) model) for a synergistic and automatic deep understanding of technical documents (TDs). Specifically, all the modalities are expressed into Natural Language Sentences and into SPN models for better associations and deeper understanding.BiographyDr. Nikolaos Bourbakis (IEEE Life Fellow) is currently a Distinguished Professor of Information & Technology and the Director of the Center of Assistive Research Technologies (CART) at Wright State University, Ohio, USA. He is the Founder and the EIC of three International Journals (Artificial Intelligence Tools (World Scientific Publ.), Monitoring and Surveillance Tech Research (IGI-Global, Publ.) and Bioengineering & Bioinformatics (EAI Transactions)) and the Founder and Steering Committee Chair of several International IEEE Computer Society Conferences (ICTAI, BIBE, IISA), Symposia and Workshops. He pursues research in Assistive Technologies, Applied Artificial Intelligence, Bioengineering, Information Security and Distributed Processing funded by USA and European agencies. He has published extensively in IEEE and International Journals and Conferences, and he has supervised several dozens of PhD students who have successfully graduated. His research work has been internationally recognized, and he has won several prestigious awards in IEEE, Universities and Societies.
	Biography
Quantitative Analysis of Goal-Oriented Requirements Models Haruhiko Kaiya Kanagawa University, Hiratsuka 259-1293, Japan kaiya@acm.org Abstract. An information system is developed and embedded into a dairy activity to satisfy requirements of people in the activity. Because the system is expected to improve the activity, we have to predict the extent of such improvement. Goal-oriented requirements models are useful to represent the relationships among systems and people in a business or life activity. We have proposed extended goal-oriented requirements models to predict how well the system improves the activity of the people. In this talk, we briefly introduce typical goal-oriented requirements models and their extensions suitable for quantitative analysis. Finally, we show several issues of future challenges.BiographyHaruhiko Kaiya is a Professor in the Faculty of Science at Kanagawa University, Japan. He is interested mainly in requirements engineering, especially goal-oriented models and ontologies. He was a member of program committee in International Requirements Engineering Conferences (RE) and International Conferences on Advanced Information Systems Engineering (CAiSE).
	Biography
Contents
Quantitative Analysis of Goal Oriented Requirements Models
	1 Introduction
	2 Typical Goal-Oriented Requirements Models
	3 Quantitative Analysis of Goal Models
	4 Future Challenges
	5 Final Remarks
	References
Revisiting Principles and Challenges in Natural Language Programming
	1 Introduction
	2 Natural Language at the Centre
	3 Related Work
		3.1 The First Attempts
		3.2 On the Play of Semantic Web
		3.3 The Representation Learning Perspective
	4 The Typical Task and User
	5 Principles
	6 Challenges
		6.1 Information Extraction: The Data
		6.2 Search & Run: The Method
		6.3 Hybrid Interface: The Fusion
		6.4 User's Idiosyncrasies: The Human Factor
		6.5 Explanability: The Transparency
	7 Summary
	References
Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification
	1 Introduction
	2 Background
		2.1 Related Techniques
		2.2 Related Work
	3 Proposed Method
		3.1 Morphological Analysis
		3.2 Parsing
		3.3 Classification
		3.4 Extraction of Operation of Condition and Target of the Operation
		3.5 Extraction of Operation and Operation Target When Conditions Are Satisfied
	4 Improved Method
		4.1 Extraction of State and Condition Before Transition
		4.2 Extraction of State After Operation and Transition
	5 Evaluation
		5.1 Evaluation Experiment and Evaluation Criteria for RQ1
		5.2 Evaluation Experiment and Evaluation Criteria for RQ2
		5.3 Results of Experiment 1
		5.4 Results of Experiment 2
		5.5 Summary
	6 Discussion
		6.1 Discussion of Experiment 1
		6.2 Discussion of Experiment 2
	7 Conclusion
	References
Supporting Change Management of Sequence Diagrams
	1 Introduction
	2 Sequence Diagram
	3 Related Works
	4 Differential Analysis Method of Sequence Diagrams
		4.1 Differential Analysis of Objects
		4.2 Differential Analysis of Message Passing
		4.3 Differential Analysis of Combined Fragment
	5 Differential Analyzer
		5.1 Example
		5.2 Evaluation
	6 Conclusion
	References
Model-Based Testing for MQTT Applications
	1 Introduction
	2 Background
		2.1 Modbat
		2.2 MQTT
		2.3 Related Work
	3 Extensions to Modbat
		3.1 Subscription-Triggered Transition
		3.2 State Distribution
		3.3 Timeout
		3.4 Virtual and Real Timeout
	4 Implementation
	5 Evaluation
		5.1 Models
		5.2 Experiments and Results
	6 Conclusion
	References
A Study of Mechanism Design for C2C Service Based on Multi-agent Simulation
	1 Introduction
	2 Mechanism Design Based on Evolutionary Game
		2.1 Evolutionary Game Theory
		2.2 Related Research
	3 Simulation Model
		3.1 Game Definition
		3.2 Proposed Mechanism Design
		3.3 Multi-agent Simulation
	4 Experiments and Results
		4.1 Experimental Configuration
		4.2 Results
	5 Conclusions
	References
Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling
	1 Introduction
	2 Modeling Language GDMA and Its Modeling Tool
		2.1 Modeling Language
		2.2 Modeling Tool
	3 Traceability Checking Tool for GDMA
	4 Evaluation
		4.1 Objective of the Experiment
		4.2 Objects, Metrics and Subjects
		4.3 Steps of the Experiment
		4.4 Results and Discussion
		4.5 Threats to the Validity
	5 Related Work
	6 Conclusion
	References
Adoptability Assessment of AI Service Systems
	1 Introduction
	2 Related Work
	3 AI Service System and Research Hypothesis
		3.1 Enterprise Architecture and AI Service System
		3.2 Research Hypothesis
	4 Proposal
	5 Experiment
	6 Discussion
	7 Conclusion
	References
Changes in Industry-Academia-Government Collaboration Using the Regional Development Process Model for Information Systems
	1 Introduction
	2 Kagawa-Type Development Process Model
	3 Practice of Kagawa-Type Development Process Model
		3.1 Advertisement Display Printer System (KadaPos)
		3.2 Travel Diary Generation/Printing System (KaDiary)
		3.3 Tourist Guidebook Generating/Printing System (KadaPam)
	4 Summary
	References
Identifications of Webpage Layout Patterns Based on Lines of Vision
	1 Introduction
	2 Related Works
	3 Layout Patterns
		3.1 Z-Shaped Pattern
		3.2 F-Shaped Pattern
	4 Identifications of Webpage Layout Patterns
		4.1 Lines of Visions
		4.2 Webpage Layout Patterns
	5 Implementation
		5.1 Coordinates of Tag Elements
		5.2 Layout Pattern
	6 Evaluation
		6.1 Experimental Design
		6.2 Experiment Results
	7 Discussion
	8 Conclusion
	References
STAMP S&S: Layered Modeling for the Complexed System in the Society of AI/IoT
	1 Introduction
	2 Related Work
		2.1 STAMP and Its Related Methods
		2.2 The Standards of Software Life Cycle Processes and System Life Cycle Processes
		2.3 Social Technology System and Software Engineering
	3 STAMP S & S (Modeling Based on System Theory)
		3.1 Issues and Countermeasures for Complex System Analysis
		3.2 Significance of Layered Modeling of Complex Systems
		3.3 STAMP S & S and Five Layers
	4 Considerations in Level 3 Autonomous Driving
	5 Conclusion
	Reference
Parked Car Detection Method Based on Home Wireless LAN -Using Household Equipment to Detect a Parked Car-
	1 Introduction
	2 Related Research
	3 Proposed Method
		3.1 Experiment Configuration
		3.2 Detection Method
		3.3 Detection Score Comparison
	4 Conclusion
	References
Supporting System for Visiting Sightseeing Spot Using Image Recognition and Processing Technology (KadaBingo)
	1 Introduction
	2 Development of KadaBingo
		2.1 The Outline of KadaBingo
		2.2 KadaBingo Application
		2.3 KadaBingo Server
		2.4 Summary of This Chapter
	3 KadaBingo Demonstration Experiment in Zentsuji City, Kagawa Prefecture
		3.1 Outline of Demonstration Experiment
		3.2 Tourism Behavior Analysis Based on the Results of the Demonstration Experiment and Data Obtained from the Demonstration Experiment
	4 Conclusion
	References
Development of Support System to Activate Learner’s Question Behavior with Dummy Learner
	1 Introduction
	2 Learner Experience Survey in Learning
	3 Development of the Support System to Activate Learner’s Question Behavior with the Participation of Dummy Learners
	4 Demonstration Experiment of Support System to Activate Learner’s Question Behavior with the Participation of Dummy Learners
	5 Conclusion
	References
Deploying Personalized Oblivious Mobile Identity
	1 Introduction
	2 Related Work
	3 Online and Offline Approaches
	4 Online Distributed Token Approach
	5 Offline Scenario dP-ABC Credentials
	6 Differences in Online and Offline Scenarios
	7 Architecture and Integration
		7.1 Interfaces
		7.2 Components
	8 Design and Development of Components
		8.1 The mDL Issuing Authority
		8.2 The mDL Apps
	9 Evaluation
		9.1 Functional Verification of the Experimental Prototype
		9.2 Unit and Integration Testing Plans
		9.3 User Survey
	10 Conclusions and Future Work
	References
How the Apriori Algorithm Can Help to Find Semantic Duplicates in Ontology
	1 Introduction
	2 Market Basket Analysis
	3 OntoLife
	4 Experiments
	5 Related Work
		5.1 Ahmad El Sayed et al.’s Approach
		5.2 Aziz Barbar and Martine Collard’s Approach
		5.3 Irina Astrova and Arne Koschel’s Approach
		5.4 Luis Cavique’s Approach
	6 Conclusion
	References
Author Index