Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The AI-Enabled Enterprise [[electronic resource] /] / by Vinay Kulkarni, Sreedhar Reddy, Tony Clark, Henderik A. Proper
| The AI-Enabled Enterprise [[electronic resource] /] / by Vinay Kulkarni, Sreedhar Reddy, Tony Clark, Henderik A. Proper |
| Autore | Kulkarni Vinay |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (144 pages) |
| Disciplina |
650.0285
658.05 |
| Altri autori (Persone) |
ReddySreedhar
ClarkTony ProperHenderik A |
| Collana | The Enterprise Engineering Series |
| Soggetto topico |
Business - Data processing
Business information services Machine learning Information technology - Management Artificial intelligence Business Informatics Enterprise Architecture Machine Learning Computer Application in Administrative Data Processing Artificial Intelligence |
| ISBN | 3-031-29053-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- About the Authors -- 1: The AI-Enabled Enterprise -- Motivation -- Current State -- Decision-Making in the Face of Uncertainty -- Software Architecture for Continuous Adaptation -- Automated Compliance with Minimal Exposure to Risk -- Democratized Knowledge-Guided Software Development -- Continuously Adapting Software -- Coordinated Continuous Digital Transformation -- The AI-Enabled Enterprise -- Illustrative Example -- References -- 2: Decision-Making in the Face of Uncertainty -- Introduction -- Current Practice -- Decision-Making as an Optimization Problem -- Model-Based Decision-Making -- Human-Centric Decision-Making -- Solution -- Decision-Making Meta-Model -- Digital Twin -- ``In Silico´´ Experimentation Aid for Decision-Making -- Technology Infrastructure -- Specification Language -- DT Construction -- DT Validation -- Illustrative Real-World Applications -- Case Study from Telecom -- Maximizing Throughput of Sorting Terminals -- Optimizing Shop Stock Replenishment for a Retail Chain -- Prediction and Control of Covid-19 Pandemic in a City -- Helping Organizations Transition from Work from Home to Work from Office Mode -- Summary and Future Work -- References -- 3: Regulatory Compliance at Optimal Cost with Minimum Exposure to Risk -- Introduction -- Regulatory Compliance -- Current Practice -- Tenets of a Desirable Line of Attack -- AI-Aided Model-Based Automated Regulatory Compliance -- Technology Infrastructure to Support the Line of Attack -- AI-Based Model Authoring -- Validating the Authored Model -- Automating Compliance Checking -- Benefits of the Proposed Approach -- Illustrative Use Cases of Automated Regulatory Compliance -- Assurance of Hygiene -- Business Problem -- Scope -- Approach -- Benefits -- Compliance Hygiene and Change Impact Management -- Business Problem -- Objectives -- Scope.
Approach -- Benefits -- Compliance Checking -- Business Problem -- Current Practice -- Objectives -- Scope -- Approach -- Benefits -- Change Management -- Business Problem -- Scope -- Approach -- Results -- Benefits -- Summary and Future Work -- References -- 4: Continuously Adapting Software -- Introduction -- Digital Twin(s) -- State of the Art -- Modelling Twin Systems -- Case Study -- Twin System Execution -- Twin Policies -- Implementation: TwinSim -- Training for Multiple Eventualities -- Prototyping as Part of the Development Process -- Research Roadmap -- References -- 5: Democratized Hyper-automated Software Development -- Introduction -- Current Practice -- Typical SDLC Today -- Model-Driven Development -- Low-Code/No-Code Platforms -- AI-Powered SDLC -- AI-Powered Requirements -- AI-Powered Testing -- AI-Powered Coding -- Proposed Line of Attack -- Knowledge-Guided, AI-Aided Refinement of Business Requirements into Software Requirements -- Domain Ontology -- Systems Knowledge -- AI and NLP -- Digital Twin(s) -- Knowledge-Guided, AI-Aided Refinement of Software Requirements into Software Specifications -- Architecture for Software Adaptation -- Technology Infrastructure to Support the Line of Attack -- References -- 6: Coordinated Continuous Digital Transformation -- Introduction -- Digital Transformation -- Continuous Digital Transformation -- Coordinated Continuous Digital Transformation -- Enterprise Design Dialogues -- The Role of Models -- Challenges and Opportunities -- Conclusion -- References -- 7: A Case Study: Wellness Ecosystem -- Introduction -- Wellness Ecosystem -- Wellness Stakeholders -- Individual -- Gym -- Food Store -- Hospital -- Insurance Company -- Leisure Provider -- Wellness Provider -- Decision-Making in Dynamic and Uncertain Environment -- Effecting the Decisions in Software. Effecting the Decisions in Business Processes -- Bringing It All Together -- Illustrative Example -- References. |
| Record Nr. | UNISA-996565863303316 |
Kulkarni Vinay
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The AI-Enabled Enterprise / / by Vinay Kulkarni, Sreedhar Reddy, Tony Clark, Henderik A. Proper
| The AI-Enabled Enterprise / / by Vinay Kulkarni, Sreedhar Reddy, Tony Clark, Henderik A. Proper |
| Autore | Kulkarni Vinay |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (144 pages) |
| Disciplina |
650.0285
658.05 |
| Altri autori (Persone) |
ReddySreedhar
ClarkTony ProperHenderik A |
| Collana | The Enterprise Engineering Series |
| Soggetto topico |
Business - Data processing
Business information services Machine learning Information technology - Management Artificial intelligence Business Informatics Enterprise Architecture Machine Learning Computer Application in Administrative Data Processing Artificial Intelligence |
| ISBN | 3-031-29053-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- About the Authors -- 1: The AI-Enabled Enterprise -- Motivation -- Current State -- Decision-Making in the Face of Uncertainty -- Software Architecture for Continuous Adaptation -- Automated Compliance with Minimal Exposure to Risk -- Democratized Knowledge-Guided Software Development -- Continuously Adapting Software -- Coordinated Continuous Digital Transformation -- The AI-Enabled Enterprise -- Illustrative Example -- References -- 2: Decision-Making in the Face of Uncertainty -- Introduction -- Current Practice -- Decision-Making as an Optimization Problem -- Model-Based Decision-Making -- Human-Centric Decision-Making -- Solution -- Decision-Making Meta-Model -- Digital Twin -- ``In Silico´´ Experimentation Aid for Decision-Making -- Technology Infrastructure -- Specification Language -- DT Construction -- DT Validation -- Illustrative Real-World Applications -- Case Study from Telecom -- Maximizing Throughput of Sorting Terminals -- Optimizing Shop Stock Replenishment for a Retail Chain -- Prediction and Control of Covid-19 Pandemic in a City -- Helping Organizations Transition from Work from Home to Work from Office Mode -- Summary and Future Work -- References -- 3: Regulatory Compliance at Optimal Cost with Minimum Exposure to Risk -- Introduction -- Regulatory Compliance -- Current Practice -- Tenets of a Desirable Line of Attack -- AI-Aided Model-Based Automated Regulatory Compliance -- Technology Infrastructure to Support the Line of Attack -- AI-Based Model Authoring -- Validating the Authored Model -- Automating Compliance Checking -- Benefits of the Proposed Approach -- Illustrative Use Cases of Automated Regulatory Compliance -- Assurance of Hygiene -- Business Problem -- Scope -- Approach -- Benefits -- Compliance Hygiene and Change Impact Management -- Business Problem -- Objectives -- Scope.
Approach -- Benefits -- Compliance Checking -- Business Problem -- Current Practice -- Objectives -- Scope -- Approach -- Benefits -- Change Management -- Business Problem -- Scope -- Approach -- Results -- Benefits -- Summary and Future Work -- References -- 4: Continuously Adapting Software -- Introduction -- Digital Twin(s) -- State of the Art -- Modelling Twin Systems -- Case Study -- Twin System Execution -- Twin Policies -- Implementation: TwinSim -- Training for Multiple Eventualities -- Prototyping as Part of the Development Process -- Research Roadmap -- References -- 5: Democratized Hyper-automated Software Development -- Introduction -- Current Practice -- Typical SDLC Today -- Model-Driven Development -- Low-Code/No-Code Platforms -- AI-Powered SDLC -- AI-Powered Requirements -- AI-Powered Testing -- AI-Powered Coding -- Proposed Line of Attack -- Knowledge-Guided, AI-Aided Refinement of Business Requirements into Software Requirements -- Domain Ontology -- Systems Knowledge -- AI and NLP -- Digital Twin(s) -- Knowledge-Guided, AI-Aided Refinement of Software Requirements into Software Specifications -- Architecture for Software Adaptation -- Technology Infrastructure to Support the Line of Attack -- References -- 6: Coordinated Continuous Digital Transformation -- Introduction -- Digital Transformation -- Continuous Digital Transformation -- Coordinated Continuous Digital Transformation -- Enterprise Design Dialogues -- The Role of Models -- Challenges and Opportunities -- Conclusion -- References -- 7: A Case Study: Wellness Ecosystem -- Introduction -- Wellness Ecosystem -- Wellness Stakeholders -- Individual -- Gym -- Food Store -- Hospital -- Insurance Company -- Leisure Provider -- Wellness Provider -- Decision-Making in Dynamic and Uncertain Environment -- Effecting the Decisions in Software. Effecting the Decisions in Business Processes -- Bringing It All Together -- Illustrative Example -- References. |
| Record Nr. | UNINA-9910765487103321 |
|
Kulkarni Vinay
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Driven Engineering Languages and Systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings / / edited by Jon Whittle, Tony Clark, Thomas Kühne
| Model Driven Engineering Languages and Systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings / / edited by Jon Whittle, Tony Clark, Thomas Kühne |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XX, 730 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Architecture, Computer Management information systems Computer science Software Engineering Programming Techniques Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Computer System Implementation Management of Computing and Information Systems |
| ISBN | 3-642-24485-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | MODELS'11 |
| Record Nr. | UNISA-996465389103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model driven engineering languages and systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / / Jon Whittle, Tony Clark, Thomas Kuhne (eds.)
| Model driven engineering languages and systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / / Jon Whittle, Tony Clark, Thomas Kuhne (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2011 |
| Descrizione fisica | 1 online resource (XX, 730 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
WhittleJon
ClarkTony KuhneThomas |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Computer software - Development
UML (Computer science) |
| ISBN | 3-642-24485-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510605003321 |
| New York, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Object Modeling with the OCL [[electronic resource] ] : The Rationale behind the Object Constraint Language / / edited by Tony Clark, Jos Warmer
| Object Modeling with the OCL [[electronic resource] ] : The Rationale behind the Object Constraint Language / / edited by Tony Clark, Jos Warmer |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 288 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems |
| ISBN | 3-540-45669-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Meta-model Facility for a Family of UML Constraint Languages -- A New Type Checking Approach for OCL Version 2.0 ? -- OCL: Syntax, Semantics, and Tools -- On the Precise Meaning of OCL Constraints -- Expressing UML Class Diagrams Properties with OCL -- The Amsterdam Manifesto on OCL -- An OCL Extension for Real-Time Constraints -- Statistical Constraints and Verification -- ?Java?OCL Based on New Presentation of the OCL-Syntax -- The Semantics of the OCL Action Clause -- Constraint Trees -- Using OCL and UML to Specify System Behavior. |
| Record Nr. | UNISA-996465301003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Object Modeling with the OCL : The Rationale behind the Object Constraint Language / / edited by Tony Clark, Jos Warmer
| Object Modeling with the OCL : The Rationale behind the Object Constraint Language / / edited by Tony Clark, Jos Warmer |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 288 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems |
| ISBN | 3-540-45669-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Meta-model Facility for a Family of UML Constraint Languages -- A New Type Checking Approach for OCL Version 2.0 ? -- OCL: Syntax, Semantics, and Tools -- On the Precise Meaning of OCL Constraints -- Expressing UML Class Diagrams Properties with OCL -- The Amsterdam Manifesto on OCL -- An OCL Extension for Real-Time Constraints -- Statistical Constraints and Verification -- ?Java?OCL Based on New Presentation of the OCL-Syntax -- The Semantics of the OCL Action Clause -- Constraint Trees -- Using OCL and UML to Specify System Behavior. |
| Record Nr. | UNINA-9910143917403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||