Advancing Research in Information and Communication Technology: IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working ... and Communication Technology, 600)

Foreword
Preface
Contents
TC 1: Foundations of Computer Science
Hot Current Topics of Descriptional Complexity
	1 Descriptional Complexity: Idea and Basic Concepts
	2 Operational State Complexity
	3 When Descriptional Complexity Meets Computational Complexity
	4 Turing Machines with Rewriting Restrictions
	5 Automata that May Change Their Mind
	6 Boosting the Descriptional Capacity by Transductions
	7 Enumerations and Average Complexity
	References
A Survey of Compositional Signal Flow Theory
	1 String Diagrams as Resource Sensitive Syntax
	2 The Calculus of Signal Flow Diagrams
		2.1 Feedback and Classical Signal Flow Diagrams
	3 Denotational Semantics
		3.1 Interacting Hopf Algebras: The Equational Theory of Circuits
	4 Operational Semantics
	5 Realisability
		5.1 Compositionality vs Directionality of Signal Flow
	6 The Affine Extensions
		6.1 Full Abstraction
	7 Electrical Circuits
	8 From Control Theory to Concurrency
	9 This Research and IFIP AICT 600 - IFIP 60year Festivity Issue
	References
TC 2: Software: Theory and Practice
Algorithmics
	1 Introduction
	2 From ALGOL, via Abstracto… to Squiggol
		2.1 Abstracto: the first move towards algorithmics
		2.2 The Bird–Meertens Formalism (BMF): A Higher-Level Approach
		2.3 The Boom Hierarchy of Data Structures
	3 Generic Programming: Function Follows Form
	4 Morphisms: Suddenly They Are Everywhere
		4.1 Diversification
		4.2 Unification
	5 Dependent Types: Types You Can Depend on
		5.1 What Are Dependent Types?
		5.2 Dependent Types
	6 Computational Effects: Beyond the Functional
		6.1 Effects and Monads
		6.2 Functions Too Weak, Monads Too Strong: Applicative Functors? Just Right
		6.3 Algebraic Effects and Handlers
	7 Lifting the Game: A Purely Algebraic View of Algorithms and Languages
	8 System Support: the Right Tool for the Job
		8.1 System Support
		8.2 An Example: The Project CIP
	9 Summary; but No Conclusion
	10 Detailed Attributions and Citations
	References
Advances in Data Management in the Big Data Era
	1 Introduction
	2 Knowledge Graphs for Data Integration
		2.1 The XI Pipeline
		2.2 Applications
	3 Metadata Management: The Potential of Context
		3.1 From Multimedia Contents to Metadata Management: The Example of Social Interaction Analysis
		3.2 Internet of Things and Metadata for Trust Metrics
	4 Data Quality in the Post-truth Era
		4.1 From Data Quality to Information Quality: An Increased Complexity of Quality Characterization
		4.2 Information Quality in Modern Society
	5 Data Integration Architectures for Standard and Big Data
		5.1 Data Integration Taxonomy
		5.2 Virtual Integration
		5.3 Physical Integration
		5.4 Hybrid Integration
	6 Graph Embeddings
	7 Data Stream Processing and Analytics in Fog Computing
		7.1 Recent Advances in Stream Processing Algorithms
		7.2 The Fog Computing Paradigm
	8 Integration of Relational and NoSQL Databases Functionally
		8.1 Functional Approach to Data Modeling and Querying
		8.2 Integration of Relational, Graph, and Document Databases
	9 Conclusion
	References
TC 3: Education
Computers and Education – Recognising Opportunities and Managing Challenges
	1 The Shifting Focus of IFIP TC3’s Concerns - Education for, with, and through Computing
	2 Challenges in Developing Awareness and Practices of Computer Uses in Education
	3 Involving and Influencing – TC3 Conferences and Their Focus
	4 The TC3 Academic Journal, its Articles and Their Focus
	5 WG3.1 – Informatics and Digital Technologies in School Education - Emerging Themes
	6 WG3.3 – Research into Educational Applications of Information Technologies - Emerging Themes
	7 WG3.4 – Professional and Vocational Education in ICT - Emerging Themes
	8 WG3.7 – Information Technology in Educational Management (ITEM) - Emerging Themes
	9 TC3 Task Force - Deeper Understanding of the Roles of Computer Science and Informatics
	10 Education and Computing - Visions and Declarations
		10.1 The Stellenbosch Declaration
		10.2 The Dublin Declaration
		10.3 Issues that We Face Internationally - the Zanzibar Declaration - Sustainable Education in the Digital Age
	11 The Impact We Have Had – and Where We Go from Here
	References
TC 5: Information Technology Applications
Computing Inventive Activities in an Industrial Context New Scientific Challenges and Orientations
	1 Introduction: The New Challenges Around the Activity of Innovation in the Context of Industry
		1.1 Digitization of the Business World
		1.2 The Second Life of AI and Its Promises
		1.3 Genesis of the Activity of the Computer-Aided Innovation Group
		1.4 Towards New Directions and a New Scope of Research
	2 At the Origins of Group 5.4 is the TRIZ Theory, Its Incipient Computerization and Its Academic Research
		2.1 Some Failures for the Computerization of TRIZ
		2.2 The Presence of TRIZ in International Publications
		2.3 Towards a New Discipline to Support the Digitization of Inventive Activity
	3 New Research Frontiers for Group 5.4
		3.1 Theoretical Issues About Innovation and Creative Design
		3.2 Sustainability
		3.3 Smart Industry
		3.4 AI-Based Semi-automated Invention and Assisted Brainstorming
	4 Conclusions
	References
The Evolution Path to Collaborative Networks 4.0
	1 Introduction
	2 A Classification of Collaborative Networks
	3 Generations of Collaborative Networks
	4 Ongoing Developments, Trends, Challenges and Expectations
		4.1 Evolution in Scope, Membership, Organization and Governance
		4.2 Evolution in Support Platforms, Tools, and Infrastructures
		4.3 Evolution in Collaboration Culture, Strategies and Business Models
	5 Conclusions
	References
Advances in Production Management Systems: Issues, Trends, and Vision Towards 2030
	1 Introduction
	2 IFIP WG 5.7 – Advances in Production Management Systems
		2.1 A Production and Production Management Vision Towards 2030
	3 Grand Challenges for Production and Production Management
		3.1 Grand Challenge 1: Agile Product Customization Processes
		3.2 Grand Challenge 2: Proactive and Socially Intelligent Products and Assets
		3.3 Grand Challenge 3: Data-Driven Operations Management
		3.4 Grand Challenge 4: Digital Lean Manufacturing Systems
		3.5 Grand Challenge 5: Human Cyber-Physical Production Systems
		3.6 Grand Challenge 6: Immersive Learning and Virtual Training Environments
		3.7 Grand Challenge 7: Servitization of Manufacturing
	4 Discussion: Barriers and Enablers Towards Production 2030
	5 Conclusions
	References
An IFIP WG5.8 State-of-the-Art View on Methods and Approaches for Interoperable Enterprise Systems
	1 Introduction
	2 Complex Adaptive Enterprise Systems
	3 Enterprise Modelling and Enterprise Engineering
	4 Enterprise Architecture Frameworks
	5 Integration and Interoperability of Enterprise Systems
	6 Towards Interoperability of Cyber-Physical Production Systems (CPPS)
	7 Conclusions
	References
IFIP WG5.12 Architectures for Enterprise Integration: Twenty-Five Years of the GERAM Framework
	1 Introduction: The History of GERAM
		1.1 The Origins
		1.2 From Type I to Type II Architectures and Their Generalisation
		1.3 From GERAM to ISO15704 – ‘Requirements for Enterprise-Referencing Architectures and Methodologies’
		1.4 Other Relevant Developments in the Field of EA
	2 A Summary of the Contributions of GERAM to Theory and Practice
		2.1 GERAM’s Contribution to the Scientific Community
		2.2 The Contribution of GERAM to the EA Community
		2.3 Manufacturing and Engineering Applications
		2.4 Applications to the Standards Community, Environmental and Emergency Management, and Collaborative Healthcare
	3 ‘Heavy Weight’ vs. ‘Light Weight’ Architecture Frameworks
		3.1 The Complexity Conundrum
		3.2 Systems Science and Systems Thinking in EA
	4 Conclusion
		4.1 Why is It Necessary to Work on the Future of EA?
		4.2 The Evolution of the Science of EA
		4.3 Emerging Technologies and EA
		4.4 Applications, Enterprise Integration Engineering and EA
		4.5 EA Community Building
	References
Synthesis of a Composite Imitation Model of the Cognitive Structure of the Ergatic System Operator on the Basis of Conceptual Pattern Technology
	1 Introduction
	2 Research Methods
	3 Synthesis of System Dynamics Models Based on Conceptual Patterns Technology
	4 Evaluation of Accuracy of a Composite Model
	5 Conclusion
	References
TC 6: Communication Systems
Blockchains and Distributed Ledgers Uncovered: Clarifications, Achievements, and Open Issues
	1 Introduction
		1.1 Blockchain History
		1.2 Paper Structure
	2 Laying the Groundwork—Technical Background
		2.1 Public-Key Cryptography
		2.2 Mining on a Blockchain
		2.3 A Few Handful of Blockchain Platforms
	3 A Tale of Two Approaches (BC vs. DL)
	4 Blockchains' Suitability and Achievements
		4.1 Cryptocurrencies and Related Developments
		4.2 Smart Contracts
		4.3 Proof-of-Existence and Time-Stamping
	5 Missing Pieces and Open Issues
		5.1 Technical Complexity
		5.2 Interoperability
		5.3 Trust Assumptions
		5.4 Sustainability and Consensus Mechanisms
	6 Observations and Conclusions
	References
TC 7: System Modeling and Optimization
IFIP Technical Committee 7: System Modeling and Optimization. A Historical Note
	1 Early Years of TC7 and TC7 in Present Time
	2 Scope of the Activities of TC7 and Working Groups
	3 General Conferences
	4 TC7 Future Activities
	References
TC 8: Information Systems
The Future of Information Systems in a Post-COVID World by TC8 (Information Systems)
	1 Introduction
	2 The Future of the Information Systems Field
		2.1 Digital Globalisation and Sustainability
		2.2 The Centrality of Information in Integrating Local and Global Governance
		2.3 Regional Perspectives in Brief on Glocalization and What Technology is Bringing to the Conversation
		2.4 IS Research and Education for a Glocalized World
	3 The Future Role for TC8 Drawn from the Past
	4 The TC8 WGs Perspectives
	5 Conclusions
	References
TC 9: ICT and Society
The Impact of Human Choice and Computers and Technical Committee 9 on ICTs and Society: A Critical Sociotechnical Tale
	1 Introduction
	2 The History of HCC and TC9
	3 A Critical Perspective
	4 Conclusion
	References
TC 11: Security and Privacy Protection in Information Processing Systems
Information Security and Privacy – Challenges and Outlook
	1 Introduction
	2 Overview of Technical Committee 11
		2.1 Information Security Management
		2.2 Pervasive Systems Security
		2.3 Data and Applications Security and Privacy
		2.4 Network and Distributed Systems Security
		2.5 IT Assurance and Audit
		2.6 Identity Management
		2.7 Information Technology: Misuse and the Law
		2.8 Information Security Education
		2.9 Digital Forensics
		2.10 Critical Infrastructure Protection
		2.11 Trust Management
		2.12 Human Aspects of Information Security and Assurance
		2.13 Information Systems Security Research
		2.14 Secure Engineering
	3 Technological Issues
		3.1 Securing Applications and Data
		3.2 Engineering for Better Security
		3.3 Investigating the Inevitable
	4 Business and Organisational Issues
		4.1 The Role of Audit and IT Assurance
		4.2 Establishing Trust in an Untrusted Environment
	5 Human Issues
		5.1 Addressing the Human Factor
		5.2 The Importance of Education
		5.3 The Value of Research
	6 Future Opportunities
	7 Conclusions
	References
IFIP General
IFIP Code of Ethics
	1 Creating the IFIP Code of Ethics
	2 IFIP Code of Ethics
		2.1 Prologue
		2.2 Development of the Code
		2.3 The Nature of the Code
		2.4 Structure of the Code
		2.5 Status
		2.6 Benefits of the Code
		2.7 Summary
	3 IFIP Code of Ethics and Professional Conduct
		3.1 Preamble
	4 1. General Ethical Principles
		4.1 1.1 Contribute to Society and to Human Well-Being, Acknowledging that All People Are Stakeholders in Computing
		4.2 1.2 Avoid Harm
		4.3 1.3 Be Honest and Trustworthy
		4.4 1.4 Be Fair and Take Action Not to Discriminate
		4.5 1.5 Respect the Work Required to Produce New Ideas, Inventions, Creative Works, and Computing Artifacts
		4.6 1.6 Respect Privacy
		4.7 1.7 Honor Confidentiality
	5 2. Professional Responsibilities
		5.1 2.1 Strive to Achieve High Quality in Both the Processes and Products of Professional Work
		5.2 2.2 Maintain High Standards of Professional Competence, Conduct, and Ethical Practice
		5.3 2.3 Know and Respect Existing Rules Pertaining to Professional Work
		5.4 2.4 Accept and Provide Appropriate Professional Review
		5.5 2.5 Give Comprehensive and Thorough Evaluations of Computer Systems and Their Impacts, Including Analysis of Possible Risks
		5.6 2.6 Perform Work Only in Areas of Competence
		5.7 2.7 Foster Public Awareness and Understanding of Computing, Related Technologies, and Their Consequences
		5.8 2.8 Access Computing and Communication Resources Only When Authorized or When Compelled by the Public Good
		5.9 2.9 Design and Implement Systems that Are Robustly and Usably Secure
	6 3. Professional Leadership Principles
		6.1 3.1 Ensure that the Public Good is the Central Concern During All Professional Computing Work
		6.2 3.2 Articulate, Encourage Acceptance of, and Evaluate Fulfillment of Social Responsibilities by Members of the Organization or Group
		6.3 3.3 Manage Personnel and Resources to Enhance the Quality of Working Life
		6.4 3.4 Articulate, Apply, and Support Policies and Processes that Reflect the Principles of the Code
		6.5 3.5 Create Opportunities for Members of the Organization or Group to Grow as Professionals
		6.6 3.6 Use Care When Modifying or Retiring Systems
		6.7 3.7 Recognize and Take Special Care of Systems that Become Integrated into the Infrastructure of Society
	7 4. Compliance with the Code
		7.1 4.1 Uphold, Promote, and Respect the Principles of the Code
		7.2 4.2 Treat Violations of the Code as Inconsistent with the Values of IFIP and Its Member Societies
	8 Contributors
		8.1 IFIP Task and Finish Group
Author Index