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.
Advanced information systems engineering : 17th international conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005 : proceedings / / Oscar Pastor, Joao Falcao e Cunha (eds.)
| Advanced information systems engineering : 17th international conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005 : proceedings / / Oscar Pastor, Joao Falcao e Cunha (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XVI, 592 p.) |
| Disciplina | 005.1/0285 |
| Altri autori (Persone) |
PastorOscar <1962->
Falcao e CunhaJoao |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer-aided software engineering
Systems engineering |
| ISBN | 9783540321279 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward Semantic Interoperability of Heterogeneous Biological Data Sources -- Conceptual Modeling -- The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model -- Computing the Relevant Instances That May Violate an OCL Constraint -- Event-Based Modeling of Evolution for Semantic-Driven Systems -- Metamodeling -- Interoperability in Meta-environments: An XMI-Based Approach -- On the Notion of Consistency in Metadata Repository Systems -- Using Text Editing Creation Time Meta Data for Document Management -- Databases -- An Object-Relational Approach to the Representation of Multi-granular Spatio-Temporal Data -- Managing Inheritance Hierarchies in Object/Relational Mapping Tools -- BInXS: A Process for Integration of XML Schemata -- Query Processing -- Query Processing Using Ontologies -- Estimating Recall and Precision for Vague Queries in Databases -- Querying Tree-Structured Data Using Dimension Graphs -- Process Modeling and Workflow Systems -- Workflow Resource Patterns: Identification, Representation and Tool Support -- A Declarative Foundation of Process Models -- Synchronizing Copies of External Data in Workflow Management Systems -- Requirements Engineering -- Understanding the Requirements on Modelling Techniques -- A Process for Generating Fitness Measures -- A Concern-Oriented Requirements Engineering Model -- Model Transformation -- Generating Transformation Definition from Mapping Specification: Application to Web Service Platform -- A General Approach to the Generation of Conceptual Model Transformations -- Building a Software Factory for Pervasive Systems Development -- Knowledge Management and Verification -- Alignment and Maturity Are Siblings in Architecture Assessment -- Verification of EPCs: Using Reduction Rules and Petri Nets -- Measurement Practices for Knowledge Management: An Option Perspective -- Web Services -- An Ontological Approach for Eliciting and Understanding Needs in e-Services -- Developing Adapters for Web Services Integration -- Efficient: A Toolset for Building Trusted B2B Transactions -- Web Engineering -- Separation of Structural Concerns in Physical Hypermedia Models -- Integrating Unnormalised Semi-structured Data Sources -- Model Transformations in the Development of Data–Intensive Web Applications -- Software Testing -- Automated Reasoning on Feature Models -- A Method for Information Systems Testing Automation -- Model-Based System Testing of Software Product Families -- Software Quality -- Quality-Based Software Reuse -- On the Lightweight Use of Goal-Oriented Models for Software Package Selection -- Measuring IT Infrastructure Project Size: Infrastructure Effort Points. |
| Altri titoli varianti | CAiSE 2005 |
| Record Nr. | UNINA-9910483377103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings / / International Workshop on Computer-Aided Software Engineerings
| Proceedings / / International Workshop on Computer-Aided Software Engineerings |
| Pubbl/distr/stampa | [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 |
| Disciplina |
005.1
005.1/0285 |
| Soggetto topico | Computer-aided software engineering |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. |
| ISSN | 2378-3729 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Computer-Aided Software Engineering
CASE Proceedings of the International Workshop on Computer-Aided Software Engineerings |
| Record Nr. | UNINA-9910625171803321 |
| [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings / / International Workshop on Computer-Aided Software Engineerings
| Proceedings / / International Workshop on Computer-Aided Software Engineerings |
| Pubbl/distr/stampa | [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 |
| Disciplina |
005.1
005.1/0285 |
| Soggetto topico | Computer-aided software engineering |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. |
| ISSN | 2378-3729 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Computer-Aided Software Engineering
CASE Proceedings of the International Workshop on Computer-Aided Software Engineerings |
| Record Nr. | UNISA-996279710303316 |
| [Los Alamitos, Calif.] : , : IEEE Computer Society Press, , 1992-1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Process-aware information systems : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede
| Process-aware information systems : bridging people and software through process technology / / edited by Marlon Dumas, Wil van der Aalst, Arthur H.M. ter Hofstede |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2005 |
| Descrizione fisica | 1 online resource (427 p.) |
| Disciplina | 005.1/0285 |
| Altri autori (Persone) |
DumasMarlon
AalstWil van der Ter HofstedeArthur <1966-> |
| Soggetto topico |
Computer-aided software engineering
Human-computer interaction |
| ISBN |
1-280-23563-2
9786610235636 0-470-24634-0 0-471-74144-2 0-471-74143-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
PROCESS-AWARE INFORMATION SYSTEMS; Contents; Preface; Contributors; PART I Concepts; 1 Introduction; 1.1 From Programs and Data to Processes; 1.2 PAIS: Definition and Rationale; 1.3 Techniques and Tools; 1.4 Classifications; 1.5 About the Book; References; 2 Person-to-Application Processes: Workflow Management; 2.1 Introduction; 2.2 Workflow Terminology; 2.3 Workflow Modeling; 2.4 Workflow Management Systems; 2.5 Outlook; 2.6 Exercises; References; 3 Person-to-Person Processes: Computer-Supported Collaborative Work; 3.1 Introduction; 3.2 Characterization of Person-to-Person Interactions
3.3 Characterization of Person-to-Person Systems3.4 Example Systems; 3.5 Summary and Conclusions; 3.6 Exercises; References; 4 Enterprise Application Integration and Business-to-Business Integration Processes; 4.1 Introduction; 4.2 Examples of EAI and B2B Processes; 4.3 Concepts, Architectures, and Tools; 4.4 Future Developments; 4.5 Exercises; References; PART II Modeling Languages; 5 Process Modeling Using UML; 5.1 Introduction; 5.2 Modeling Control Flow with Activity Diagrams; 5.3 Modeling Objects and Object Flow; 5.4 Modeling Organizational Structure 5.5 Modeling Business Partner Interactions5.6 System-Specific Process Models; 5.7 Summary; 5.8 Exercises; References; 6 Process Modeling Using Event-Driven Process Chains; 6.1 Introduction; 6.2 Overview of EPC; 6.3 The ARIS Business Process Meta-Model; 6.4 How to Correctly Model EPCs; 6.5 The ARIS Architecture; 6.6 Future Extensions; 6.7 Exercises; References; 7 Process Modeling Using Petri Nets; 7.1 Introduction; 7.2 Petri Nets; 7.3 Petri Net Classes and Behavior; 7.4 Modeling Single Processes Without Resources; 7.5 Modeling Processes with Resources; 7.6 Behavior and Refinement; 7.7 Analysis 7.8 Net ClassesExercises; References; 8 Patterns of Process Modeling; 8.1 Introduction; 8.2 Classification of Patterns; 8.3 Examples of Control-Flow Patterns; 8.4 Conclusion; 8.5 Exercises; Acknowledgments; References; PART III Techniques; 9 Process Design and Redesign; 9.1 Introduction; 9.2 Methodologies, Techniques, and Tools; 9.3 Business Process Performance Indicators; 9.4 Redesigning Processes Using Best Practices; 9.5 Information-Based Business Process Design; 9.6 Conclusion; 9.7 Exercises; References; 10 Process Mining; 10.1 Introduction; 10.2 Process Mining: An Overview 10.3 Process Mining with the a Algorithm10.4 Limitations of the Alpha Approach and Possible Solutions; 10.5 Conclusion; Acknowledgments; 10.6 Exercises; References; 11 Transactional Business Processes; 11.1 Introduction; 11.2 Transactional Consistency; 11.3 Atomicity; 11.4 Infrastructure for Implementing Atomicity; 11.5 Outlook; 11.6 Exercises and Assignments; Acknowledgments; References; PART IV Standards and Tools; 12 Standards for Workflow Definition and Execution; 12.1 Introduction; 12.2 Standardization Bodies Relevant to PAIS; 12.3 WfMC Reference Model and WfMC Glossary 12.4 Process Definition in XPDL |
| Record Nr. | UNINA-9910877602003321 |
| Hoboken, N.J., : Wiley-Interscience, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||