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 / / edited by Oscar Pastor, João Falcão e Cunha
| Advanced Information Systems Engineering : 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings / / edited by Oscar Pastor, João Falcão e Cunha |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XVI, 592 p.) |
| Disciplina | 005.1/0285 |
| Altri autori (Persone) |
PastorÓscar <1962->
Falcão e CunhaJoão |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Database management Application software User interfaces (Computer systems) Human-computer interaction Information storage and retrieval systems Computers and civilization Software Engineering Database Management Computer and Information Systems Applications User Interfaces and Human Computer Interaction Information Storage and Retrieval Computers and Society |
| 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 forKnowledge 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. |
| Record Nr. | UNINA-9910483377103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| 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 | ||
| ||
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 | ||
| ||
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 |
9786610235636
9781280235634 1280235632 9780470246344 0470246340 9780471741442 0471741442 9780471741435 0471741434 |
| 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-9911020110703321 |
| Hoboken, N.J., : Wiley-Interscience, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||